Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA Survey of the Theorema Project
Author(s) Bruno Buchberger, Vuasaru Daniela, Tomucta Elena, Tudor Jebelean, Franz Kriftner, Maria Grazia Marinari
TypeArticle in Conference Proceedings
ISBN0-89791-875-4
URL http://doi.acm.org/10.1145/258726.258853
LanguageEnglish
SeriesISSAC
Pages384--391
PublisherACM
AddressNew York, NY, USA
Year1997
Edition0
Translation No
Refereed No
Webmaster