Login
Document type:
Monografie / Monograph
Title:
Cedric - ein automatisches geometrisches Beweissystem
Parallel title:
Cedric - an automatic geometric prover
Publishing institution:
Saarland University, Department of Computer Science
Year:
1999
Language:
Englisch
Department:
Fakultät für Humanwissenschaften
Institute:
Department für Psychologie
Chair:
von Oertzen, Timo
Open Access yes or no?:
Nein / No
Miscellaneous:
Diploma Thesis, Saarland University, Department of Computer Science
BibTeX