Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
A
Aart Middeldorp
6 books found
Books by Aart Middeldorp
Functional and logic programming
Aart Middeldorp
⏱ 6h 9m
Functional and logic programming
Aart Middeldorp
1999
369 pp.
Rewriting Techniques and Applications
Aart Middeldorp
Rewriting Techniques and Applications
Aart Middeldorp
2003
No page data
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan
⏱ 12h 12m
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan
2012
732 pp.
Automated Deduction - CADE-25
Amy P. Felty
⏱ 11h 8m
Automated Deduction - CADE-25
Amy P. Felty
2015
668 pp.
Processes, terms and cycles
Aart Middeldorp
⏱ 10h 39m
Processes, terms and cycles
Aart Middeldorp
2006
639 pp.
Processes, Terms and Cycles : Steps on the Road to Infinity
Aart Middeldorp
Processes, Terms and Cycles : Steps on the Road to Infinity
Aart Middeldorp
2005
No page data