Login / Signup
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