Torthaí cuardaigh - "Logic programming."

Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Inducing multi-level association rules from multiple relations. de réir Lisi, Francesca A.

Reversible logic synthesis methodologies with application to quantum computing de réir Ridha Taha, Saleem Mohammed

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Java programs to accompany Programming logic and design de réir Smith, Jo Ann

Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010. revised papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Logic-based program synthesis and transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Logic programming and nonmonotonic reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Programming language implementation and logic programming 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 :proceedings

Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 Octobe...

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Compact Representation of Knowledge Bases in Inductive Logic Programming. de réir Struyf, Jan