Normal view MARC view ISBD view

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /

Dahl, Véronica.

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / [electronic resource] : edited by Véronica Dahl, Ilkka Niemelä. - 1a. ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4670 0302-9743 ; .

ISBN: 9783540746102

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

LC Class. No.: QA76.63 / D34 2007

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)