Clicky

Automated Deduction - Cade-11 by Deepak Kapur and similar books you'll love - Bookscovery

Home > Authors > Deepak Kapur > Automated Deduction - Cade-11

Buy at: Bookshop.org Amazon

Automated Deduction - Cade-11

Deepak Kapur

See on goodreads

Recent activity

Rate this book to see your activity here.

6 Books Similar to Automated Deduction - Cade-11 by Deepak Kapur

Bookscovery readers who liked Automated Deduction - Cade-11 also like Automated Reasoning, Computer Mathematics and Dependable Software Engineering : Theories, Tools, and Applications. How many of these have you read?

Automated Reasoning by Stéphane Demri

Cover of Automated Reasoning
Buy this book at:
Bookshop.org Amazon

Computer Mathematics by Deepak Kapur

Cover of Computer Mathematics
Buy this book at:
Bookshop.org Amazon

Dependable Software Engineering : Theories, Tools, and Applications by Martin änzle

Cover of Dependable Software Engineering : Theories, Tools, and Applications
Buy this book at:
Bookshop.org Amazon

Geometric reasoning by Deepak Kapur

Cover of Geometric reasoning
Buy this book at:
Bookshop.org Amazon

Symbolic and numerical computation for artificial intelligence by Bruce R. Donald

Cover of Symbolic and numerical computation for artificial intelligence
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing – ICTAC 2017 by Dang Van Hung

Cover of Theoretical Aspects of Computing – ICTAC 2017
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Deduction - Cade-11

Please sign in to leave a comment