Automated Deduction -- CADE-24
Maria Paola Bonacina
Automated Deduction -- CADE-24 - 2013
978-3-642-38574-2
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Computer Science
Automated Deduction -- CADE-24 - 2013
978-3-642-38574-2
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Computer Science