Logic Programming
Andrei Voronkov
₹5,642
Automated Deduction - Cade-18
18th International Conference on Automated Deduction
Springer · 2002 · Paperback
₹5,649
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
Published by Springer in 2002, Automated Deduction - Cade-18: 18th International Conference on Automated Deduction by Andrei Voronkov runs to 534 pages in paperback.
Topics covered include Congresses, Symbolic and mathematical Logic, Automatic theorem proving and Automata.
Book details
- ISBN-13
- 9783540439318
- ISBN-10
- 3540439315
- Author
- Andrei Voronkov
- Publisher
- Springer
- Published
- 2002
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 534
- Language
- English
- Condition
- New
- Subject
- Computer Books: General
More by Andrei Voronkov and related titles
Perspectives of System Informatics
Andrei Voronkov
₹4,281
Logic Programming and Automated Reasoning
Andrei Voronkov
₹5,639
Perspectives of System Informatics
Andrei Voronkov, Irina Virbitskaite
₹2,160
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Ecoop 2003 - Object-Oriented Programming
Luca Cardelli
₹4,367
Servlet and Jsp Programming with IBM Websphere Studio and Visualage for Java
IBM Redbooks
₹3,930
Openvpn
M. Feilner
₹5,500
How to Wow with PowerPoint
Scott Rekdal
₹3,032
New Frontiers in Artificial Intelligence
Akito Sakurai, Koiti Hasida, Katsumi Nitta
₹5,671
Advances in Computers
Marvin V. Zelkowitz
₹4,100