Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Theory Exploration with THEOREMA
Author(s)
Bruno Buchberger
Type
Book, Chapter in Book, Conference Proceeding
Length
24
File
Language
English
Year
2000
Translation
No
Refereed
No
Organization
Johannes Kepler University Linz
Institution
RISC (Research Institute for Symbolic Computation)
Conferencename
International Workshop "Symbolic and Numeric Algorithms on Scientific Computing" (SYNASC)
Webmaster