Browse
FAQ

Author

Aart Middeldorp

5 books found

Cover of Automated Deduction - CADE-25

Automated Deduction - CADE-25

Amy P. Felty, Aart Middeldorp · First published 2015

Cover of Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan, Aart Middeldorp, Andrei Voronkov · First published 2012

Cover of Processes, terms and cycles

Processes, terms and cycles

Aart Middeldorp, Vincent van Oostrom · First published 2005 · Latest edition 2006

Cover of Rewriting Techniques and Applications

Rewriting Techniques and Applications

Aart Middeldorp · First published 2003

Cover of Functional and logic programming

Functional and logic programming

Aart Middeldorp · First published 1999