Publications of the Project F1302
Book - 1998
September 27, 2008
Book - 1998
September 27, 2008
Bibliography
- 1
- B. Buchberger and T. Jebelean, editors.
The 2nd International Theorema Workshop. Proceedings published as RISC-Report 98-10, June 29-30 1998.
Hagenberg, Austria.
Please direct your comments
or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund