Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 57 citing The Art of Prolog: Advanced Programming Techniques. 

Foundations of Inductive Logic Programming

Shan-Hwei Nienhuys-Cheng, Ronald de Wolf - Computers - 1997 - 404 pages
The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volume. Materials and ...
Limited preview - About this book

Mathematical Logic for Computer Science

Mordechai Ben-Ari - Computers - 2001 - 304 pages
Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.
Limited preview - About this book

Logic Programming: Proceedings of the 1998 Joint International Conference ...

Joxan Jaffar - Computers - 1998 - 360 pages
Includes tutorials, lectures, and refereed papers on all aspects of logic programming,
Limited preview - About this book

Logic Programming: Proceedings of the 1999 International Conference on Logic ...

Danny De Schreye - Computers - 1999 - 450 pages
The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search