logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings - Georg Gottlob, Alexander Leitsch
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783540633853 (3540633855)
Publisher: Springer
Pages no: 355
Edition language: English
Bookstores:
Books by Georg Gottlob
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science) - Georg Gottlob, Alexander Leitsch
Expert Systems in Engineering: Principles and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Georg Gottlob, Wolfgang Nejdl
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings (Lecture Notes in Computer Science) - Georg Gottlob, Moshe Y. Vardi
Advances in Databases and Information Systems: 8th East European Conference, Adbis 2004, Budapest, Hungary, September 22-25, 2004, Proceedings - Georg Gottlob
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Georg Gottlob
SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings - Maria Bieliková, Gerhard Friedrich, Georg Gottlob
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings - Georg Gottlob, Alexander Leitsch
Logic Programming and Databases - Stefano Ceri, Georg Gottlob, Letizia Tanca
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers - Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers
Advances in Databases and Information Sy... Advances in Databases and Information Systems: 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings (Lecture Notes in Computer Science) - Georg Gottlob, Andras Benczur, János Demetrovics
Books by Alexander Leitsch
The Resolution Calculus - Alexander Leitsch
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science) - Georg Gottlob, Alexander Leitsch
Methods of Cut-Elimination (Trends in Logic) - Matthias Baaz, Alexander Leitsch
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings - Georg Gottlob, Alexander Leitsch
Methods of Cut-Elimination - Alexander Leitsch, Matthias Baaz
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.