Related Books

Foundations of Logic Programming
Language: en
Pages: 135
Authors: J. W. Lloyd
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Artificial and Mathematical Theory of Computation
Language: en
Pages: 488
Authors: Vladimir Lifschitz
Categories: Computers
Type: BOOK - Published: 2012-12-02 - Publisher: Academic Press

DOWNLOAD EBOOK

Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to arti
Symbolic and Numerical Computation for Artificial Intelligence
Language: en
Pages: 392
Authors: Bruce R. Donald
Categories: Computers
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and ar
Artificial Intelligence and Symbolic Computation
Language: en
Pages: 264
Authors: John A. Campbell
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, h
Artificial Intelligence and Symbolic Computation
Language: en
Pages: 295
Authors: Bruno Buchberger
Categories: Computers
Type: BOOK - Published: 2004-09-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz,