Judit Robu,
"Geometry Theorem Proving in the Frame of Theorema Project."
, 9-2002, J. Robu.
Geometry Theorem Proving in the Frame of Theorema Project.
Talk at: 4th International Workshop on Automated Deduction in
Geometry (ADG 2002), RISC, Sept. 4-6, 2002, Linz
Original Titel:
Geometry Theorem Proving in the Frame of Theorema Project.
Sprache des Titels:
Englisch
Erscheinungsmonat:
9
Erscheinungsjahr:
2002
Notiz zum Zitat:
J. Robu.
Geometry Theorem Proving in the Frame of Theorema Project.
Talk at: 4th International Workshop on Automated Deduction in
Geometry (ADG 2002), RISC, Sept. 4-6, 2002, Linz
Forschungs-