Image
Key Highlights
Image
Key Highlights

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Automated Theorem...
more

Buy at ₹12,110
Apply offers for maximum savings
Apply offers for maximum savings!
Product highlights
Title
Automated Theorem Proving
Imprint
Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Product Form
Paperback
Publisher
Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Source ISBN
9783528185206
Genre
Computers
ISBN13
9783528185206
Book Category
Higher Education and Professional Books
All details
Features, description and more
Specifications
Description
Manufacturer info
Show More
Questions and Answers
No questions and answers available
Be the first to ask about this product
Ask a question
Buy with EMI
From ₹449/m
B
u
y
a
t
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
,
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
Hang on, loading content