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 |
Drucken
Impressum