Custom cover image
Automated deduction. 2, Systems and implementation techniques / ed. by Wolfgang Bibel ...
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Applied logic series ; 9Set: Automated deduction.Publisher: Dordrecht : Kluwer, 1998Description: XIV, 434 S. : graph. DarstISBN:- 0792351304
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | math 1.4 | Lesesaal Technik (LST) | 98 E 629-2 | Available | 09042410300 |
Total holds: 0