=ADD=
=reftype=
14
=number=
99-15
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-15.tar.gz
=year=
1999
=month=
06
=author=
Windsteiger; Wolfgang
=title=
Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases
=abstract=
Parts of the contents of this presentation were contributed by members of the Theorema group at RISC, Hagenberg, Austria.  

The Intention of the Theorema System 

Organizing Structured Knowledge in Theorema 

Some Examples 

Prospects for the Future
=note=
Presented at the Edinburgh Sommer School in Logic, Language, and Computation, 1999.
=sponsor=
Austrian Science Fundation (FWF), SFB project P1302 (Theorema)
=keywords=
automatic reasoning