Putting Time into Proof Outlines.

Fred B. Schneider Bard Bloom Keith Marzullo

Published in: REX Workshop (1991)

Keyphrases

real time
extended abstract
theorem proving
proof planning
neural network
preprocessing
theorem prover
formal proof
computer vision
case study
three dimensional
multi agent
search algorithm
proof search