Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).

Giovanni Sambin Silvio Valentini

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

theoretical framework
data mining
analysis tool
e learning
high level
multiscale
evolutionary algorithm
domain knowledge
object oriented
rough sets
programming language
computational model
conceptual framework
theoretical basis
formal theory