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

Book

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

Book

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

Book

Computing Methods in Applied Sciences and Engineering International Symposium, Versailles, December 17-21, 1973, Part 1

Book

International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

Book

Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)

Book

STACS 86 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986

Book

International Symposium on Systems Optimization and Analysis: Rocquencourt, December 11–13, 1978 (Lecture Notes in Control and Information Sciences) (English and French Edition)

Book

Aspects of the Theory of Artificial Intelligence The Proceedings of the First International Symposium on Biosimulation Locarno, June 29 – July 5, 1960

Book

5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980

Book

Computing Methods in Applied Sciences and Engineering International Symposium, Versailles, December 17-21,1973, Part 2