A Survey of the Theorema Project.

Bruno Buchberger Tudor Jebelean Franz Kriftner Mircea Marin Elena Tomuta Daniela Vasaru

Published in: ISSAC (1997)

Keyphrases

project management
database
data collection
european project
case study
cooperative
artificial intelligence
search engine
decision trees
data structure
digital libraries
current status
nsf funded