This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
HAO WANG Toward mechanical mathematics, IBM Journal of Research and Development Vol. 4 No 1 Jan. 60 p. 2.
PITRAT Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques, Thèse 4 mai 1966.
NEWELL, SHAW, SIMON Empirical exploration with the logic theory machine; a case study in heuristics. Computers and thought Editors Feigenbaum and Feldman, Mc Graw-Hill. 1963 p. 109.
PITRAT Realization of a general game playing program. IFIP Congress 1968 Booklet H p. 120.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1970 Springer-Verlag
About this paper
Cite this paper
Pitrat, J. (1970). Heuristic interest of using metatheorems. 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/BFb0060633
Download citation
DOI: https://doi.org/10.1007/BFb0060633
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