On the Strength of Proof-Irrelevant Type Theories.

Benjamin Werner

Published in: IJCAR (2006)

Keyphrases

theorem prover
genetic algorithm
database
e learning
knowledge base
multimedia
three dimensional
domain knowledge
knowledge representation
theoretical framework