Structured Calculational Proof.

Ralph-Johan Back Jim Grundy Joakim von Wright

Published in: Formal Aspects Comput. (1997)

Keyphrases

theorem proving
structured data
theorem prover
automated theorem proving
proof search
proof planning
geometry theorem proving
data streams
databases
information systems
high level
user interface
inference rules
structured learning
linear logic