Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

The theorema system: Current status and the proving-solving-computing cycle

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitrag

OriginalspracheEnglisch
TitelProceeding of RTETP 2000 (Rewriting Techniques and Efficient Theorem Proving)
Seitenumfang10
PublikationsstatusVeröffentlicht - Juni 2000

Wissenschaftszweige

  • 101 Mathematik

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics

Dieses zitieren