MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.

Javier Leach Susana Nieva

Published in: LPAR (1992)

Keyphrases

theorem prover
recursive functions
inductive inference
theorem proving
automated reasoning
first order logic
term rewriting
inference rules
automated theorem proving
computer algebra
boolean algebra
formal semantics
formal proof
natural deduction
proof planning
data mining
computer algebra systems
machine learning