Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases

Wolfgang Windsteiger

Research Institute for Symbolic Computation

Research output: Working paper and reports › Preprint

Original language	English
Publication status	Published - Jun 1999

Publication series

Name	RISC Report Series
No.	99-15

Fields of science

101 Mathematics

PROVE
N., N. (PI)
05.04.1998 → 31.03.2001
Project: Funded research › Federal / regional / local authorities
Solving and Proving in General Domains - Period I (Subproject of SFB F 13 Numerical and Symbolic Scientific Computation)
Buchberger, B. (PI)
01.04.1998 → 31.03.2001
Project: Funded research › FWF - Austrian Science Fund

Cite this