Memoing with Abstract Answers and Delphi Lemmas.

Paul Tarau Koenraad De Bosschere

Published in: LOPSTR (1993)

Keyphrases

theorem prover
theorem proving
development environment
database development
search engine
computer vision
decision making
high level
multiscale