Automated Deduction – CADE-20
Nieuwenhuis, Robert.
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / [electronic resource] : edited by Robert Nieuwenhuis. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3632 0302-9743 ; .
9783540318644
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 / N54 2005
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / [electronic resource] : edited by Robert Nieuwenhuis. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3632 0302-9743 ; .
9783540318644
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 / N54 2005