Heuristics for a Calculational Proof.

Edsger W. Dijkstra

Published in: Inf. Process. Lett. (1995)

Keyphrases

theorem proving
theorem prover
search algorithm
automated theorem proving
heuristic search
databases
proof planning
mathematical proofs
linear logic
real world
neural network
inference rules
search strategies
worst case analysis
learning algorithm
machine learning
natural deduction
automated theorem provers