Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 39 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

Logic Programming: Proceedings of the 1995 International Symposium

John Lloyd - Computers - 1995 - 646 pages
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held ...
Limited preview - About this book

Logic, programming, and Prolog

Ulf Nilsson, Jan Małuszyński - Computers - 1995 - 282 pages
This new edition covers the latest advances in logic programming research. Its clear and authoritative treatment of the theory is combined with an emphasis on practical ...
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

Disjunctive logic programming

Donald W. Loveland, Arcot Rajasekar - Disjunction (Logic) - 1994 - 140 pages
Abstract: "During the past several years a body of theoretical results has been developed in the field of logic programming. The book by Lloyd [Llo84] and the chapter by Apt ...
Snippet view - About this book

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