Advances in logic programming and automated reasoning

Advances in logic programming and automated reasoning
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:31617888
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Advances in logic programming and automated reasoning by :

Download or read book Advances in logic programming and automated reasoning written by and published by . This book was released on 1992 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


Advances in logic programming and automated reasoning Related Books

Advances in logic programming and automated reasoning
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 1992 - Publisher:

GET EBOOK

Advances in Logic Programming and Automated Reasoning
Language: en
Pages:
Authors: Ralph W. Wilkerson
Categories:
Type: BOOK - Published: 1992 - Publisher:

GET EBOOK

Logic Programming and Automated Reasoning
Language: en
Pages: 532
Authors: Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 1992-07 - Publisher: Springer Science & Business Media

GET 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.
Logic Programming and Automated Reasoning
Language: en
Pages: 408
Authors: Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 1993-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 806
Authors: Ken McMillan
Categories: Computers
Type: BOOK - Published: 2013-12-05 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in Dec