Zoltan Kovács, F. Botana, T. Recio,
"Towards an Automated Geometer"
: Artificial Intelligence and Symbolic Computation. 13th International Conference, AISC 2018, Seite(n) 215-220, 2018
Original Titel:
Towards an Automated Geometer
Sprache des Titels:
Englisch
Original Buchtitel:
Artificial Intelligence and Symbolic Computation. 13th International Conference, AISC 2018