Rewriting input expressions in complex algebraic geometry provers
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
1382
Dis Auftri
DIS_ZEITSC_1382
Jahr
2019
Titel
Rewriting input expressions in complex algebraic geometry provers
Quelle
Annals of Mathematics and Artificial Intelligence, 85, 2-4, 73 - 87, -
Autoren
