Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Aart Middeldorp
Aart Middeldorp
All books by Aart Middeldorp
(
Displaying 2 Books
)
Automated Deduction - CADE-25
Amy P. Felty
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan
Looking for another book by Aart Middeldorp?
Search for the book
by title.