A

Aart Middeldorp

6 books found

Books by Aart Middeldorp
Functional and logic programmingAart Middeldorp
⏱ 6h 9m

Functional and logic programming

Aart Middeldorp

1999369 pp.
Rewriting Techniques and ApplicationsAart Middeldorp

Rewriting Techniques and Applications

Aart Middeldorp

2003No page data
Logic for Programming, Artificial Intelligence, and ReasoningKen McMillan
⏱ 12h 12m

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan

2012732 pp.
Automated Deduction - CADE-25Amy P. Felty
⏱ 11h 8m

Automated Deduction - CADE-25

Amy P. Felty

2015668 pp.
Processes, terms and cyclesAart Middeldorp
⏱ 10h 39m

Processes, terms and cycles

Aart Middeldorp

2006639 pp.
Processes, Terms and Cycles : Steps on the Road to InfinityAart Middeldorp

Processes, Terms and Cycles : Steps on the Road to Infinity

Aart Middeldorp

2005No page data