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

Bibliographic Details
Main Author: Lacombe, D.
Other Authors: Laudet, M., Nolin, L., Schützenberger, M.
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1970, 1970
Series:Lecture Notes in Mathematics
Online Access:
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
Description
ISBN:9783540049142