Logo des Repositoriums
 
Zeitschriftenartikel

Automated Reasoning in the Class

Vorschaubild

Volltext URI

Dokumententyp

Text/Journal Article

Dateien

car71-3.pdf (327.74 KB)

Zusatzinformation

Datum

2022

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Computeralgebra-Rundbrief: Vol. 70

Verlag

Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra

Zusammenfassung

Beschreibung

Drǎmnesc, I.; Ábrahám, E.; Jebelean, T.; Kusper, G.; Stratulat, S. (2022): Automated Reasoning in the Class. Computeralgebra-Rundbrief: Vol. 70. Gesellschaft für Informatik e.V., Fachgruppe Computeralgebra. ISSN: 0933-5994

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

CAR Ausgabe 71 (Oktober 2022)