Custom cover image
Custom cover image

Automated reasoning : introduction and applications; [includes the A. R. programm OTTER on disk] / Larry Wos ...

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: New York [u.a.] : McGraw-Hill, 1992Edition: 2. edDescription: XVI, 656 S. : graph. Darst. + 1 Diskette (2,25")ISBN:
  • 007911251X
Subject(s): MSC: MSC: *68T27 | 68-01 | 94C10 | 68T35 | 68T15RVK: RVK: ST 285Notes: Anmerkungen: Mit 1 Diskette 5,25"Note: Hinweis: Mit 1 Diskette 5,25"Action note:
  • 2
Call number: Grundsignatur: 84 A 3633(2)PPN: PPN: 1607375850
Holdings
Item type Home library Shelving location Call number Status Date due Barcode Item holds
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 84 A 3633(2) Available 53484881090
Total holds: 0

Archivierung prüfen 20221111 DE-640 2 pdager

Powered by Koha