Related Books

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
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 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-12-13 - Publisher: Springer

DOWNLOAD EBOOK

AISC 2004, the 7th International Conference on Artificial Intelligence and Symbolic Computation, was the latest in the series of specialized biennial conference
Artificial Intelligence and Symbolic Computation
Language: en
Pages: 280
Authors: Jaques Calmet
Categories: Computers
Type: BOOK - Published: 2006-09-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beiji