TU Darmstadt / ULB / TUbiblio

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

Bibel, Wolfgang :
Deduction as a cross-sectional technology: The DFG focus programme on deduction.
In: Informatik'97: Informatik aktuell. Hrsg.: M. Jarke (u.a.) S. 29-40. Springer, Berlin, Heidelberg (u.a.)
[Buchkapitel], (1997)

Typ des Eintrags: Buchkapitel
Erschienen: 1997
Autor(en): Bibel, Wolfgang
Titel: Deduction as a cross-sectional technology: The DFG focus programme on deduction
Sprache: Englisch
Buchtitel: Informatik'97: Informatik aktuell. Hrsg.: M. Jarke (u.a.) S. 29-40
Ort: Berlin, Heidelberg (u.a.)
Verlag: Springer
Edition: Berlin, Heidelberg (u.a.): Springer, 1997
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:03
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen