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

Foundations of Logic Programming

J. W. Lloyd - Computers - 2012
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

The Gödel Programming Language

Patricia Hill, John Wylie Lloyd - Computers - 1994 - 348 pages
Godel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book ...
Limited preview - About this book

Constructing logic programs

Jean-Marie Jacquet - Computers - 1993 - 308 pages
Presents the latest material on the main points of interest in the construction of logic programs—from program synthesis and derivation to the semantic analysis of logic ...
Snippet view - 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

Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK ...

Craig MacNish, David Pearce - Computers - 1994 - 413 pages
This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were ...
Limited preview - About this book

Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 ...

Jan Komorowski, Zbigniew W. Ras - Computers - 1993 - 662 pages
This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian ...
Snippet view - About this book




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