Some applications of Gentzen's proof theory in automated deduction

This publication has 15 references indexed in Scilit:

• Logic and Computation in MATHPERT: An Expert System for Learning Mathematics
  Published by Springer Nature ,1989
• Clausal intuitionistic logic I. fixed-point semantics
  The Journal of Logic Programming, 1988
• Generality in artificial intelligence
  Communications of the ACM, 1987
• Efficient loop detection in prolog using the tortoise-and-hare technique
  The Journal of Logic Programming, 1987
• Foundations of Constructive Mathematics
  Published by Springer Nature ,1985
• N-Prolog: An extension of Prolog with hypothetical implications. I.
  The Journal of Logic Programming, 1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Automated Theorem Proving: After 25 Years
  Contemporary Mathematics, 1984
• Constructive Theories of Functions and Classes
  Published by Elsevier ,1979
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975