Extreme Programming and Agile Methods - Xp/Agile Universe 2003
Frank Maurer, Don Wells
₹5,487
Automated Deduction - Cade-15
15th International Conference on Automated Deduction
by Claude Kirchner, Helene Kirchner
Springer · 1998 · Paperback
₹5,605
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 Deduction - Cade-15: 15th International Conference on Automated Deduction by Claude Kirchner & Helene Kirchner is a 443-page paperback edition published by Springer in 1998. The book is part of the Lecture notes in computer science series.
The book deals with Congresses, Symbolic and mathematical Logic, Automatic theorem proving and Artificial intelligence.
Book details
- ISBN-13
- 9783540646754
- ISBN-10
- 3540646752
- Authors
- Claude Kirchner, Helene Kirchner
- Publisher
- Springer
- Published
- 1998
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 443
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Stacs 92
Alain Finkel, Matthias Jantzen
₹4,505
Hybrid Systems
Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
₹4,621
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Advanced Digital Design with the Verilog Hdl
Michael Ciletti
₹5,206
Foundations of Software Science and Computational Structures
Luke Ong
₹5,803
Testing
Leonardo Bottaci, Gordon Fraser
₹5,499
Foundation of Software Science and Computation Structures
FOSSACS 2000 (2000 Berlin, Germany)
₹4,246
Theoretical Computer Science
Carlo Blundo, Cosimo Laneve
₹5,722
Fst Tcs 2003
Paritosh K. Pandya, Jaikumar Radhakrishnan
₹5,605
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241