1-24 of 26 Books

Discrete structures, logic, and computability
By James L. Hein

Logic programming and non-monotonic reasoning
By Luis Moniz Pereira,Anil Nerode

Programming language implementation and logic programming
By PLILP '91 (1991 Passau, Germany),Germany) Plilp 9 (1991 Passau,J. Maluszynski,J. Mauszynski

Foundations of equational logic programming
By Steffen Hölldobler

Logic programming
By Maurizio Gabbrielli,Gopal Gupta

From logic design to logic programming
By Dominique Snyers

Programming language implementation and logic programming
By PLILP '92 (1992 Louvain, Belgium),Belgium) Plilp 9 (1992 Louvain,Maurice Bruynooghe

Logic programming
By Ewing Lusk,Ross A. Overbeek

Advances in inductive logic programming
By Luc de Raedt

Logic programming and non-monotonic reasoning
By Anil Nerode,Wiktor Marek,V. S. Subrahmanian

Foundations of logic programming
By Lloyd, J. W.

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986
By International Conference on Logic Programming. (3rd 1986 Imperial College of Science and Technology)

Inductive logic programming
By ILP-99 (9th 1999 Bled, Slovenia)

Constraint satisfaction in logic programming
By Pascal Van Hentenryck

Foundations of Logic and Functional Programming Workshop
By Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

Logic and its applications
By Edmund Burke,Eric Foxley