Skip to content

Home Practice Lessons About

Aart Middeldorp

Books

Logic for Programming, Artificial Intelligence, and Reasoning
Functional and logic programming
Processes, terms and cycles
Rewriting Techniques and Applications
Automated Deduction - CADE-25
Processes, Terms and Cycles : Steps on the Road to Infinity

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.