1-24 of 26 Books

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

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

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

Foundations of logic programming
By Lloyd, J. W.

From logic design to logic programming
By Dominique Snyers

Logic programming
By Maurizio Gabbrielli,Gopal Gupta

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

Foundations of equational logic programming
By Steffen Hölldobler

Advances in inductive logic programming
By Luc de Raedt

Logic programming
By Ewing Lusk,Ross A. Overbeek

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

Interactive relational database design
By Tapan P. Bagchi

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

Logic and its applications
By Edmund Burke,Eric Foxley

Programming languages implementation and logic programming
By PLILP '88 (1988 Orléans, France)

Constraint satisfaction in logic programming
By Pascal Van Hentenryck