Opening book details…
Can I read Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings on EtoBox?
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings by Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) is a nonfiction available to read on EtoBox.
What is Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings about?
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Who reads Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1997
- Language
- EN
- ISBN
- 9783540698067
- Category
- nonfiction
- Subjects
- Mathematics, Language Learning, Programming
Other editions & translations
More by Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Browse all works by Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Similar books
- Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings — Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (2003)
- Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science (713)) — Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (1993)
- Data management in cloud, grid and P2P systems : 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012 : proceedings — Ibrahima Gueye, Idrissa Sarr, Hubert Naacke (auth.), Abdelkader Hameurlain, Farookh Khadeer Hussain, Franck Morvan, A Min Tjoa (2012)
- Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings — Časlav Brukner (auth.), Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg (2008)
- Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings — Ruben Gamboa Gerwin Klein (2014)
- Database And Xml Technologies: 5th International Xml Database Symposium, Xsym 2007, Vienna, Austria, September 23-24, 2007, Proceedings (lecture Notes In Computer Science) — Denilson Barbosa, Angela Bonifati, Zohra Bellahsène, Ela Hunt, Rainer Unland (2007)