Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
A Survey of the Theorema Project
Author(s)
Bruno Buchberger
,
Vuasaru Daniela
,
Tomucta Elena
,
Tudor Jebelean
,
Franz Kriftner
,
Maria Grazia Marinari
Type
Article in Conference Proceedings
ISBN
0-89791-875-4
URL
http://doi.acm.org/10.1145/258726.258853
Language
English
Series
ISSAC
Pages
384--391
Publisher
ACM
Address
New York, NY, USA
Year
1997
Edition
0
Translation
No
Refereed
No
Webmaster