Proof analysis in intermediate logics.

Roy Dyckhoff Sara Negri

Published in: Arch. Math. Log. (2012)

Keyphrases

artificial intelligence
image analysis
database
data analysis
real time
machine learning
information systems
bayesian networks
search algorithm
evolutionary algorithm
multiresolution
theorem prover