Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle.
By: Giesl, Jürgen.
Contributor(s): Hähnle, Reiner | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6173.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: digital.ISBN: 9783642142031.Subject(s): Computer science | Logic design | Computational complexity | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Logic Design | Discrete Mathematics in Computer Science | Mathematics of ComputingDDC classification: 006.3 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.