Searching for Circles of Pure Proofs.

Published in: J. Autom. Reason. (1995)

Keyphrases

hough transform
real world
equational theories
real time
databases
artificial intelligence
lower bound
theorem prover