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

Formal Techniques in Artificial Intelligence: A Sourcebook

Ranan B. Banerji - Computers - 1990 - 437 pages
Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of ...
Snippet view - About this book

Logics in Artificial Intelligence

Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach - Artificial intelligence - 1998 - 390 pages
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, in October 1998. The 25 ...
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 of conference proceedings focuses on the management and processing of complex data structures. Most of the contributors stress the need for new or extended ...
Limited preview - About this book

Extensions of Logic Programming: 5th International Workshop, ELP ..., Volume 5

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister - Computers - 1996 - 318 pages
A major strategy to reduce transport congestion and other social costs of transport is to ensure that travellers make the best decisions, based on real time information. A wide ...
Limited preview - About this book

Handbook of Philosophical Logic, Volume 12

D.M. Gabbay, Franz Guenthner - Philosophy - 2005 - 372 pages
such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to ...
Limited preview - About this book

Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora ...

Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska - Computers - 1996 - 416 pages
This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996 ...
Limited preview - About this book




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