Login
Dokumenttyp:
Monografie / Monograph
Titel:
Cedric - ein automatisches geometrisches Beweissystem
Paralleltitel:
Cedric - an automatic geometric prover
Verlegende Institution:
Saarland University, Department of Computer Science
Jahr:
1999
Sprache:
Englisch
Fakultät:
Fakultät für Humanwissenschaften
Institut:
Department für Psychologie
Professur:
von Oertzen, Timo
Open Access ja oder nein?:
Nein / No
Sonstige Angaben:
Diploma Thesis, Saarland University, Department of Computer Science
BibTeX