Bibel, Wolfgang ; Brüning, Stefan ; Otten, Jens ; Rath, Thomas ; Schaub, Torsten
ed.: Bibel, Wolfgang (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Vol. 1
Book Section, Bibliographie
| Item Type: | Book Section |
|---|---|
| Erschienen: | 1998 |
| Editors: | Bibel, Wolfgang |
| Creators: | Bibel, Wolfgang ; Brüning, Stefan ; Otten, Jens ; Rath, Thomas ; Schaub, Torsten |
| Type of entry: | Bibliographie |
| Title: | Compressions and extensions |
| Language: | English |
| Date: | 1998 |
| Place of Publication: | Dordrecht |
| Publisher: | Kluwer |
| Book Title: | Automated deduction: a basis for applications. Vol. 1 |
| Series: | Applied logic series |
| Series Volume: | 8 |
| Divisions: | 16 Department of Mechanical Engineering 16 Department of Mechanical Engineering > Ergonomics (IAD) 20 Department of Computer Science |
| Date Deposited: | 19 Nov 2008 16:20 |
| Last Modified: | 30 Apr 2024 06:39 |
| PPN: | 204400600 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum