Home > Authors > Aart Middeldorp

Aart Middeldorp

All books by Aart Middeldorp

(Displaying 2 Books)

Automated Deduction - CADE-25

Automated Deduction - CADE-25

Amy P. Felty

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan

Looking for another book by Aart Middeldorp? Search for the book by title.