A science of reasoning: Extended abstract
Open Access
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The use of explicit plans to guide inductive proofsPublished by Springer Nature ,2010
- Searching for fixed point combinators by using automated theorem proving: A preliminary reportPublished by Office of Scientific and Technical Information (OSTI) ,1988
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulationArtificial Intelligence, 1981
- Computer proofs of limit theoremsArtificial Intelligence, 1972