Software Composition
SC 2008 (2008 Budapest, Hungary)
₹4,255
Automated Reasoning
6th International Joint Conference
by Bernhard Gramlich, Dale Miller, Ulrike Sattler
Springer · 2012
₹5,686
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Automated Reasoning: 6th International Joint Conference by Bernhard Gramlich, Dale Miller & others is a book published by Springer in 2012.
Its main subjects are Automatic theorem proving, Logic design, Electronic data processing and Artificial intelligence.
Book details
- ISBN-13
- 9783642313646
- ISBN-10
- 3642313647
- Authors
- Bernhard Gramlich, Dale Miller, Ulrike Sattler
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Hardware and Software
Kedar Namjoshi, Andreas Zeller, Avi Ziv
₹5,465
Fst Tcs 2002
Manindra Agrawal, Anil Seth
₹5,569
Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222
PROLOG for Computer Science
Christopher Dawe
₹5,508
Logic Circuit Design
Shimon P. Vingron
₹11,253
Testing
Leonardo Bottaci, Gordon Fraser
₹5,499
Descriptional Complexity of Formal Systems
Markus Holzer, Martin Kutrib, Giovanni Pighizzini
₹5,822
Extreme Programming and Agile Methods - Xp/Agile Universe 2004
Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom
₹5,498
Spice
Ernst E. E. Hoefer, Horst Nielinger
₹3,508
Ultrascale Computing Systems
Jesús Carretero, Emmanuel Jeannot, Albert Y. Zomaya
₹12,132