Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Combining Provers in the Theorema System

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitrag

OriginalspracheEnglisch
TitelProceedings of the Sixth Rhine Workshop on computer Algebra
Seitenumfang14
PublikationsstatusVeröffentlicht - Dez. 1998

Wissenschaftszweige

  • 101 Mathematik

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics

Dieses zitieren