Poitín: Distilling Theorems From Conjectures.

Geoff W. Hamilton

Published in: Calculemus (2005)

Keyphrases

theorem prover
high quality
real time
databases
artificial intelligence
digital topology
ordered sets
data mining
image processing
multiresolution
first order logic
inductive inference