Automated Reasoning

Armando, Alessandro.

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / [electronic resource] : edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5195 0302-9743 ; .

9783540710707


Computer science
Software engineering
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering

QA76.9.A96 / A76 2008

Powered by Koha