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
- 2
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