Title: Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / Edition 1, Author: Juergen Dix
Title: Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / Edition 1, Author: Stefan Kramer
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings / Edition 1, Author: V. Wiktor Marek
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1, Author: Louis M. Pereira
Title: Digital Design: Basic Concepts and Principles / Edition 1, Author: Mohammad Karim
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / Edition 1, Author: Brahim Hnich
Title: Logic Program Synthesis from Incomplete Information / Edition 1, Author: Pierre Flener
Title: Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Edition 1, Author: Thomas Eiter

Pagination Links