Normal view MARC view ISBD view

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /

Cervesato, Iliano.

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / [electronic resource] : edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. - 1a ed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5330 0302-9743 ; .

ISBN: 9783540894391

Subjects--Topical Terms:
Computer science
Software engineering
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Programming Techniques
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages

LC Class. No.: QA76.63 / C47 2008

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)