Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 31 related to Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990.   

Foundations of Logic Programming

J. W. Lloyd - Computers - 2012 - 124 pages
This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost all the results ...
Limited preview - About this book

Advances in logic programming theory

Giorgio Levi - Computers - 1994 - 254 pages
Logic programming has emerged over the last five years as one of the most promising new programming paradigms and as a very active research area. The PROLOG experience has ...
Snippet view - About this book

Management and Processing of Complex Data Structures: Third Workshop on ...

Kai v. Luck, Heinz Marburger - Computers - 1994 - 220 pages
This volume presents the proceedings of the third workshop on Information Systems and Artificial Intelligence, organized by the German Computer Science Society. The 11 invited ...
Limited preview - About this book

Logic Programming and Automated Reasoning: International Conference LPAR '92 ...

Andrei Voronkov - Computers - 1992 - 509 pages
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the ...
Limited preview - About this book

Logic in Databases: International Workshop LID '96, San Miniato, Italy, July ...

Dino Pedreschi, Carlo Zaniolo - Computers - 1996 - 495 pages
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as ...
Limited preview - About this book

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

W. Bibel - Computers - 2000 - 386 pages
"Audience: Researchers working in the areas of Intellectics and Computational Logic, who are convinced that an intelligent behavior of machines should be based on a rigid ...
Limited preview - About this book

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 ...

Dov M. Gabbay, C. J. Hogger, J. A. Robinson - Computers - 1998 - 814 pages
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence ...
Limited preview - About this book




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