Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

by Georg Gottlob, Alexander Leitsch, Daniele Mundici Perfect 1993

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici
  • ISBN 13: 9783540571841
  • ISBN 10: 3540571841
  • Publication Year: 1993
  • Language: English

Specifications

Index-10 3540571841
Index-13 9783540571841
Language English

✨ Readers also enjoyed...

View All →
Advances in Databases and Information Systems : 8th East European Conference, Adbis 2004, Budapest, Hungary, September 22-25, 2004, Proceesing

Advances in Databases and Informat…

Georg Gottlob, Andras Benczur, Janos Demetrovics

Inquire
Advances in Database Technology - EDBT '92

Advances in Database Technology - …

A. Pirotte, C. Delobel, Georg Gottlob

Inquire
Big Data : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

Big Data : 29th British National C…

Dan Olteanu, Georg Gottlob, Christian Schallhart

Inquire
Database Theory - Icdt '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 Proceedings

Database Theory - Icdt '95 : 5th I…

Georg Gottlob, Moshe Y. Vardi

Inquire
Datalog Reloaded : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Datalog Reloaded : First Internati…

Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers

Inquire