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 |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |