Denotations for Classical Proofs - Preliminary Results.

Philippe de Groote

Published in: LFCS (1992)

Keyphrases

databases
theorem proving
formal proof
real world
data mining
search engine
database systems
artificial neural networks
natural deduction