Logo des Repositoriums
 

Automated Reasoning in the Class

dc.contributor.authorDrǎmnesc, I.
dc.contributor.authorÁbrahám, E.
dc.contributor.authorJebelean, T.
dc.contributor.authorKusper, G.
dc.contributor.authorStratulat, S.
dc.date.accessioned2023-11-16T13:43:27Z
dc.date.available2023-11-16T13:43:27Z
dc.date.issued2022
dc.identifier.issn0933-5994
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/42648
dc.language.isoen
dc.pubPlaceBerlin
dc.publisherGesellschaft für Informatik e.V., Fachgruppe Computeralgebra
dc.relation.ispartofComputeralgebra-Rundbrief: Vol. 70
dc.titleAutomated Reasoning in the Classen
dc.typeText/Journal Article

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
car71-3.pdf
Größe:
327.74 KB
Format:
Adobe Portable Document Format