Zeitschriftenartikel

Automated Reasoning in the Class

Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Dateien
car71-3.pdf (327.74 KB)
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)