Computing, Solving, Proving: A Survey on the Theorema Project (Abstract).

Bruno Buchberger

Published in: LPNMR (1997)

Keyphrases

project management
eu funded
high level
databases
neural network
machine learning
computer vision
low level
software development
current status
european project
information systems
database systems
multi agent systems
scheduling problem
higher level