Clicky

Automated Deduction - CADE-25 by Amy P. Felty and similar books you'll love - Bookscovery

Home > Authors > Amy P. Felty > Automated Deduction - CADE-25

Buy at: Bookshop.org Amazon

Automated Deduction - CADE-25

Amy P. Felty, Aart Middeldorp

Recent activity

Rate this book to see your activity here.

5 Books Similar to Automated Deduction - CADE-25 by Amy P. Felty

Bookscovery readers who liked Automated Deduction - CADE-25 also like Functional and logic programming, Logic for Programming, Artificial Intelligence, and Reasoning and Processes, terms and cycles. How many of these have you read?

Functional and logic programming by Aart Middeldorp

Cover of Functional and logic programming
Buy this book at:
Bookshop.org Amazon

Logic for Programming, Artificial Intelligence, and Reasoning by Ken McMillan

Cover of Logic for Programming, Artificial Intelligence, and Reasoning
Buy this book at:
Bookshop.org Amazon

Processes, terms and cycles by Aart Middeldorp

Cover of Processes, terms and cycles
Buy this book at:
Bookshop.org Amazon

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

Cover of Processes, Terms and Cycles : Steps on the Road to Infinity
Buy this book at:
Bookshop.org Amazon

Rewriting Techniques and Applications by Aart Middeldorp

Cover of Rewriting Techniques and Applications
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Deduction - CADE-25

Please sign in to leave a comment