TU Darmstadt / ULB / TUbiblio

A machine supported proof of the unique prime factorization theorem

Walther, Christoph ; Schweitzer, Stephan:
A machine supported proof of the unique prime factorization theorem.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2002)

Typ des Eintrags: Buch
Erschienen: 2002
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Titel: A machine supported proof of the unique prime factorization theorem
Sprache: Englisch
Band: 02-03
Ort: Darmstadt
Verlag: Techn. Univ., Fachgebiet Programmiermethodik
Kollation: 14 S
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:18
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen