| Original language | English |
|---|---|
| Publication status | Published - Feb 2001 |
Publication series
| Name | SFB F013 Reports |
|---|---|
| No. | 01-23 |
Fields of science
- 101 Mathematics
JKU Focus areas
- Computation in Informatics and Mathematics
A Set Theory Prover in Theorema
Research output: Working paper and reports › Research report