Passages of Proof.

Cristian Calude Elena Calude Solomon Marcus

Published in: Bull. EATCS (2004)

Keyphrases

document retrieval
question answering
machine learning
linear logic
proof planning
image sequences
data mining
learning algorithm
data structure
video sequences
geometry theorem proving