On the Computational Content of Termination Proofs.

Georg Moser Thomas Powell

Published in: CiE (2015)

Keyphrases

multimedia
metadata
information retrieval
multi agent
theorem prover
user generated
database
data sets
neural network
genetic algorithm
case study
web resources
computational power