Publications of the Project F1302
MasterThesis - 1999
September 27, 2008
MasterThesis - 1999
September 27, 2008
Bibliography
- 1
- M. Kirchner.
Program verification within Theorema.
Master's thesis, FHS-Hagenberg, 1999. - 2
- F. Kossak.
An interface for interactive proving with the mathematical software system Theorema.
Master's thesis, FHS-Hagenberg, 1999.
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