TU Darmstadt / ULB / TUbiblio

Deduction as a cross-sectional technology: The DFG focus programme on deduction

Bibel, Wolfgang (1997)
Deduction as a cross-sectional technology: The DFG focus programme on deduction.
In: Informatik'97: Informatik aktuell, Auflage: Berlin, Heidelberg (u.a.): Springer, 1997
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 1997
Autor(en): Bibel, Wolfgang
Art des Eintrags: Bibliographie
Titel: Deduction as a cross-sectional technology: The DFG focus programme on deduction
Sprache: Englisch
Publikationsjahr: 1997
Ort: Berlin, Heidelberg (u.a.)
Verlag: Springer
Buchtitel: Informatik'97: Informatik aktuell
Auflage: Berlin, Heidelberg (u.a.): Springer, 1997
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:03
Letzte Änderung: 05 Mär 2013 08:38
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen