Preface.

Andrej Bauer Thierry Coquand Giovanni Sambin Peter M. Schuster

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

international workshop
workshop on data mining
information retrieval and extraction
information technology
case study
databases
data structure
email