Zoltan Kovács, T. Recio, M. P. Vélez,
"Detecting truth, just on parts, in automated reasoning in geometry"
: 24th Conference on Applications of Computer Algebra, Seite(n) 32-36, 2018
Original Titel:
Detecting truth, just on parts, in automated reasoning in geometry
Sprache des Titels:
Englisch
Original Buchtitel:
24th Conference on Applications of Computer Algebra