TU Darmstadt / ULB / TUbiblio

Compressions and extensions

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

Item Type: Book Section
Erschienen: 1998
Creators: Bibel, Wolfgang and Brüning, and Otten, and Rath, and Schaub, Karlheinz
Title: Compressions and extensions
Language: English
Title of Book: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245
Place of Publication: Dordrecht
Publisher: Kluwer Acad. Publ
Edition: Dordrecht: Kluwer Acad. Publ., 1998
Divisions: 16 Department of Mechanical Engineering > Ergonomics (IAD)
20 Department of Computer Science
16 Department of Mechanical Engineering
Date Deposited: 19 Nov 2008 16:20
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details