A Slow Growing Analogue to Buchholz' Proof.

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

data sets
theorem prover
theorem proving
databases
cooperative
proof planning
decision making
image segmentation
bayesian networks