Term Rewriting and All That
Franz Baader, Tobias Nipkow
₹3,577
Automated Deduction - Cade-19
19th International Conference on Automated Deduction
by Franz Baader
Springer · 2003 · Paperback
₹5,636
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 2003, Automated Deduction - Cade-19: 19th International Conference on Automated Deduction by Franz Baader runs to 502 pages in paperback. The book is part of the Lecture notes in computer science series.
Topics covered include Automatic theorem proving, Congresses and Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9783540405597
- ISBN-10
- 3540405593
- Author
- Franz Baader
- Publisher
- Springer
- Published
- 2003
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 502
- Language
- English
- Condition
- New
More by Franz Baader and related titles
Ki 2001
Franz Baader, Gerhard Brewka, Thomas Eiter
₹5,618
Fermenta Cognitionis, Heft 1
Franz Baader
₹5,010
The Description Logic Handbook
Franz Baader, Diego Calvanese, Deborah L. McGuinness
₹4,508
Die Verwertung Der Städtischen Abwässer in Österreich
Rudolf Pönninger
₹4,965
The Data Center as a Computer
Luiz André Barroso, Urs Hölzle, Parthasarathy Ranganathan
₹3,749
Acceleration de la Convergence En Analyse Numerique
Claude Brezinski
₹2,619
Combinatorics
W. D. Wallis, A. P. Street, J. S. Wallis
₹4,341
Formal Methods for Industrial Critical Systems
Gwen Salaün, Bernhard Schätz
₹5,517
Inhalationsanaesthesie Heute Und Morgen
K. Peter, E. Mertens-Feldbausch, F. Jesch
₹3,141
Electronic Commerce Electronic Business
Sonja Zwißler, Andreas Uremovic
₹3,508
Total Synthesis of Natural Products
Jie Jack Li
₹7,755