Zoltán Kovács, T. Recio, Csilla Sólyom-Gecse,
"Rewriting input expressions in complex algebraic geometry provers"
, in Annals of Mathematics and Artificial Intelligence, Seite(n) 1-15, 2018, ISSN: 1573-7470
Original Titel:
Rewriting input expressions in complex algebraic geometry provers
Sprache des Titels:
Englisch
Journal:
Annals of Mathematics and Artificial Intelligence
Seitenreferenz:
1-15
Erscheinungsjahr:
2018
ISSN:
1573-7470
Anzahl der Seiten:
15
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-