Custom cover image
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
MSC: MSC: *00B15 | 68-06 | 68T15 | 03B35RVK: RVK: CC 2400 | SK 130 | CC 2600Call number: Grundsignatur: 98 E 629-2PPN: PPN: 113955171X
Holdings
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