Logic for Programming, Artificial Intelligence, and Reasoning
Christian G. Ferm�ller, Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning - 2010
978-3-642-16242-8
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Logic for Programming, Artificial Intelligence, and Reasoning - 2010
978-3-642-16242-8
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science