Automated deduction. 2, Systems and implementation techniques / ed. by Wolfgang Bibel ...
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Applied logic series ; 9Gesamtaufnahme: Automated deduction.Verlag: Dordrecht : Kluwer, 1998Beschreibung: XIV, 434 S. : graph. DarstISBN:- 0792351304
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | math 1.4 | Lesesaal Technik (LST) | 98 E 629-2 | Verfügbar | 09042410300 |
Anzahl Vormerkungen: 0