Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(21998)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3695)
Fakultät für Elektrotechnik und Informationstechnik
(2063)
Fakultät für Humanwissenschaften
(2301)
HUM 2 - Institut für Bildungswissenschaft
(1003)
HUM 5 - Institut für Sportwissenschaft
(753)
HUM 7 - Institut für Psychologie
(542)
Fakultät für Informatik
(3323)
Fakultät für Luft- und Raumfahrttechnik
(5357)
Fakultät für Staats- und Sozialwissenschaften
(2698)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2586)
Fakultäten (HAW)
(1751)
Forschungszentren und -initiativen
(2068)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Humanwissenschaften
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Autoren:
von Oertzen, Timo
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
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Humanwissenschaften
HUM 7 - Institut für Psychologie