Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /

Guardado en:

Bibliografiske detaljer
Hovedforfatter:	Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (edición)
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlín, Alemania : Springer, 2001, c2001
Serier:	(Lecture Notes in Computer Science)
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: Proof Theory in Computer Science :

Quick Look
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Quick Look
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
Quick Look
Proof, Computation and Agency : Logic at the Crossroads /
Quick Look
A Proof Theory for Description Logics /
Quick Look
Theoretical Computer Science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
Quick Look
Video Processing and Computational Video : International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010, Revised Papers /
Quick Look
Software Visualization : International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures /
Quick Look
Computational Intelligence. Theory and Applications : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings /
Quick Look
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /
Quick Look
Proofs and Algorithms : An Introduction to Logic and Computability /
Quick Look
Geometry, Morphology, and Computational Imaging : 11th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers /
Quick Look
Advances in Plan-Based Control of Robotic Agents : International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers /
Quick Look
Semantics in Databases : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers /
Quick Look
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
Quick Look
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /
Quick Look
Computer Science -- Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /
Quick Look
Multivariate Network Visualization : Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013 : Revised Discussions /
Quick Look
Proofs : A Long-Form Mathematics Textbook /
Quick Look
Computer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /
Quick Look
Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /
Quick Look
Computational Learning Theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings /
Quick Look
Death Proof : Special Features /
Quick Look
Dependability Metrics : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures /
Quick Look
Computer Science, Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : Proceedings /