Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968

Keywords

MathematicsLogicHistory & Philosophy

1970Book

Author(s)M. Laudet, L. Nolin, M. Schützenberger, D. Lacombe

PublisherSpringer Berlin Heidelberg

ISBN9783540049142

LanguageEnglish

SpringerLink

Similar Books

Book

8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings

Book

Logic Colloquium Symposium on Logic held at Boston, 1972-73

Book

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)

Book

Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)

Book

Proceedings of the Symposium on Differential Equations and Dynamical Systems University of Warwick, September 1968 - August 1969, Summer School, July 15 - 25, 1969

Book

Mathematical Foundations of Computer Science 1974 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974

Book

Conference on the Numerical Solution of Differential Equations Held in Dundee/Scotland, June 23-27, 1969

Book

Séminaire Bourbaki Vol. 1968/69. Exposés 347 - 363

Book

International Symposium on Theoretical Programming

Book

logic-symposia-hakone-1979-1980