SYMEVAL: A Theorem Prover Based on the Experimental Logic.

Frank M. Brown Seung S. Park

Published in: CADE (1988)

Keyphrases

theorem prover
natural deduction
automated reasoning
computer algebra
higher order logic
proof search
boolean algebra
inference rules
theorem proving
automated theorem proving
machine learning
first order logic
higher order
artificial intelligence
description logics
real world
formal proof