Cover of Automated Deduction - Cade-11

Mark as

Automated Deduction - Cade-11

by Deepak Kapur

Buy this book
Add to a list
Review

See on goodreads

More by Deepak Kapur

Automated Reasoning

by Deepak Kapur

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

Computer Mathematics

by Deepak Kapur

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

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

Geometric reasoning

by Joseph L. Mundy

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

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

Theoretical Aspects of Computing – ICTAC 2017

by Deepak Kapur

Cover of Theoretical Aspects of Computing – ICTAC 2017
Review
Buy this book More books like Theoretical Aspects of Computing – ICTAC 2017

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment