Proof-theoretical analysis of order relations.

Sara Negri Jan von Plato Thierry Coquand

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

Keyphrases

theoretical analysis
real time
machine learning
information retrieval
image processing
multimedia
bayesian networks
multi agent
data structure
expert systems
numerical simulations