Aart Middeldorp

No biography available.

Works (4)

Cover of Processes, terms and cycles

Processes, terms and cycles

Cover of Automated Deduction - CADE-25

Automated Deduction - CADE-25

Cover of Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Cover of Functional and logic programming

Functional and logic programming