Author

Deepak Kapur

6 books in our library

All books by Deepak Kapur

6 books

Symbolic and numerical computation for artificial intelligence

by Bruce R. Donald

Cover of Symbolic and numerical computation for artificial intelligence
Review
Buy this book More books like Symbolic and numerical computation for artificial intelligence

Geometric reasoning

by Joseph L. Mundy

Cover of Geometric reasoning
Review
Buy this book More books like Geometric reasoning

Automated Reasoning

by Deepak Kapur

Cover of Automated Reasoning
Review
Buy this book More books like Automated Reasoning

Dependable Software Engineering : Theories, Tools, and Applications

by Deepak Kapur

Cover of Dependable Software Engineering : Theories, Tools, and Applications
Review
Buy this book More books like Dependable Software Engineering : Theories, Tools, and Applications

Computer Mathematics

by Deepak Kapur

Cover of Computer Mathematics
Review
Buy this book More books like Computer Mathematics

Automated Deduction - Cade-11

by Deepak Kapur

Cover of Automated Deduction - Cade-11
Review
Buy this book More books like Automated Deduction - Cade-11

Looking for another book by Deepak Kapur? Search by title