Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch, Daniele Mundici
₹5,561
Database Theory - Icdt '95
5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
by Georg Gottlob, Moshe y. Vardi
₹5,612
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540589075
- ISBN-10
- 3540589074
- Authors
- Georg Gottlob, Moshe y. Vardi
- Publisher
- Springer
- Condition
- New
- Subject
- Programming
More by Georg Gottlob and related titles
Expertensysteme
Georg Gottlob, G. Fleischanderl, Thomas Frühwirth
₹3,508
Advances in Databases and Information Systems
Georg Gottlob, Andras Benczur, Janos Demetrovics
₹5,593
Computer Science Logic
Georg Gottlob, Etienne Grandjean, Katrin Seyr
₹5,598
Expert Systems in Engineering
Georg Gottlob, Wolfgang Nejdl
₹5,510
International Symposium on Programming
M. Paul, B. Robinet
₹5,508
Data Structures and Algorithms in Python
Michael T. Goodrich
₹5,049
Algorithmen in Der Computergraphik
Thomas Rauber
₹4,748
Algorithms and Computations
John Staples, Peter Eades, Naoki Katoh
₹5,605
Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud
₹5,584
Argument und Algorithmus
Stefan C. Kaufmann
₹4,500
Algebra and Coalgebra in Computer Science
Andrea Corradini, Bartek Klin, Corina Cîrstea
₹5,593