TU Darmstadt / ULB / TUbiblio

Compressions and extensions

Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245, Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 1998
Autor(en): Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz
Art des Eintrags: Bibliographie
Titel: Compressions and extensions
Sprache: Englisch
Publikationsjahr: 1 Januar 1998
Ort: Dordrecht
Verlag: Kluwer Acad. Publ
Buchtitel: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245
Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Fachbereich(e)/-gebiet(e): 16 Fachbereich Maschinenbau > Institut für Arbeitswissenschaft (IAD)
20 Fachbereich Informatik
16 Fachbereich Maschinenbau
Hinterlegungsdatum: 19 Nov 2008 16:20
Letzte Änderung: 07 Nov 2013 12:09
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