TU Darmstadt / ULB / TUbiblio

Compressions and extensions

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

Typ des Eintrags: Buchkapitel
Erschienen: 1998
Autor(en): Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz
Titel: Compressions and extensions
Sprache: Englisch
Buchtitel: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245
Ort: Dordrecht
Verlag: Kluwer Acad. Publ
Edition: Dordrecht: Kluwer Acad. Publ., 1998
Fachbereich(e)/-gebiet(e): Fachbereich Maschinenbau > Arbeitswissenschaft
Fachbereich Informatik
Fachbereich Maschinenbau
Hinterlegungsdatum: 19 Nov 2008 16:20
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen