Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Editor information
Rights and permissions
Copyright information
© 1970 Springer-Verlag
About this paper
Cite this paper
Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (1970). Definitional approach to automatic demonstration. In: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (eds) Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol 125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0060632
Download citation
DOI: https://doi.org/10.1007/BFb0060632
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04914-2
Online ISBN: 978-3-540-36262-3
eBook Packages: Springer Book Archive