Computer Science Logic
Georg Gottlob, Etienne Grandjean, Katrin Seyr
₹5,598
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium
by Georg Gottlob, Alexander Leitsch, Daniele Mundici
Springer · 1993 · Paperback
₹5,561
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
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium is written by Georg Gottlob, Alexander Leitsch & others. This paperback edition from Springer (1993) has 348 pages.
The book deals with Symbolic and mathematical Logic, Theoremes, Theorie de la Preuve and Kunstmatige intelligentie.
Book details
- ISBN-13
- 9783540571841
- ISBN-10
- 3540571841
- Authors
- Georg Gottlob, Alexander Leitsch, Daniele Mundici
- Publisher
- Springer
- Published
- 1993
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 348
- Language
- English
- Condition
- New
More by Georg Gottlob and related titles
Expertensysteme
Georg Gottlob, G. Fleischanderl, Thomas Frühwirth
₹3,508
Database Theory - Icdt '95
Georg Gottlob, Moshe y. Vardi
₹5,612
Expert Systems in Engineering
Georg Gottlob, Wolfgang Nejdl
₹5,510
Advances in Databases and Information Systems
Georg Gottlob, Andras Benczur, Janos Demetrovics
₹5,593
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Rheumatoid Arthritis and Proteus
Alan Ebringer
₹4,924
Botulinumtoxin in Der Ästhetischen Dermatologie
Said Hilton, Peter Arne Gerber
₹3,508
Beginning SQL Server Reporting Services
Kathi Kellenberger
₹4,225
Case, Word Order and Prominence
Monique Lamers
₹8,152
Lehrbuch Der Charakterkunde
Arthur Kronfeld
₹3,508
Positron Emission Tomography
Dale L. Bailey, David W. Townsend, Peter E. Valk
₹5,285