Normal view MARC view ISBD view

Logic for Programming Artificial Intelligence and Reasoning 14th International Conference Lpar 2007 Yerevan Armenia October 15-19, 2007 Proceedings

Logic for Programming Artificial Intelligence and Reasoning 14th International Conference Lpar 2007 Yerevan Armenia October 15-19, 2007 Proceedings - Berlin : Springer, c2007 - XIII, 562 p. : ill - Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence ; No. 4790 .

Includes Bibliographical References and Index

ISBN: 9783540755586

ISSN:

Subjects--Topical Terms:
Artificial Intelligence Congresses
Automatic Theorem Proving Congresses
Logic Programming Congresses

Dewey Class. No.: 006.333 / LOG

Print
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)