Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

A Set Theory Prover in Theorema

Publikation: Preprints, Working Paper und ForschungsberichteForschungsbericht

OriginalspracheEnglisch
PublikationsstatusVeröffentlicht - Feb. 2001

Publikationsreihe

NameSFB F013 Reports
Nr.01-23

Wissenschaftszweige

  • 101 Mathematik

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics

Dieses zitieren