Foundations of Disjunctive Logic Programming

Download or Read eBook Foundations of Disjunctive Logic Programming PDF written by Jorge Lobo and published by MIT Press. This book was released on 1992 with total page 344 pages. Available in PDF, EPUB and Kindle.

Author	: Jorge Lobo
Publisher	: MIT Press
Total Pages	: 344
Release	: 1992
ISBN-10	: 0262121654
ISBN-13	: 9780262121651
Rating	: 4/5 (54 Downloads)

DOWNLOAD EBOOK

Book Synopsis Foundations of Disjunctive Logic Programming by : Jorge Lobo

Book excerpt:

Foundations of Disjunctive Logic Programming Related Books

Language: en
Pages: 344

Foundations of Disjunctive Logic Programming

Authors: Jorge Lobo

Categories: Logic programming

Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK

Language: en
Pages: 688

Computational Logic: Logic Programming and Beyond

Authors: Robert Kowalski

Categories: Computers

Type: BOOK - Published: 2002-07-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book contains the proceedings of the 12th European Testis Workshop and gives an excellent overview of the state of the art in testicular research. The chapt

Language: en
Pages: 160

Disjunctive Logic Programming

Authors: Jorge Lobo

Categories: Disjunction (Logic)

Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 466

Database Theory - ICDT '92

Authors: Joachim Biskup

Categories: Computers

Type: BOOK - Published: 1992-10-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The papers in this volume were presented at the International Conference on Database Theory, held in Berlin, Germany, October 14-16, 1992. This conference initi

Language: en
Pages: 532

Logic Programming and Automated Reasoning

Authors: Andrei Voronkov

Categories: Computers

Type: BOOK - Published: 1992-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992.