Logical structures and genus of proofs.

Alessandra Carbone

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

Keyphrases

theorem proving
artificial intelligence
search engine
decision making
database systems
bayesian networks
multiscale
evolutionary algorithm
medical images
image structure