Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

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

Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: New York [u.a.] : McGraw-Hill, 1992Auflage: 2. edBeschreibung: XVI, 656 S. : graph. Darst. + 1 Diskette (2,25")ISBN:
  • 007911251X
Schlagwörter: MSC: MSC: *68T27 | 68-01 | 94C10 | 68T35 | 68T15RVK: RVK: ST 285Notes: Anmerkungen: Mit 1 Diskette 5,25"Note: Hinweis: Mit 1 Diskette 5,25"Bearbeitungsvermerk:
  • 2
Call number: Grundsignatur: 84 A 3633(2)PPN: PPN: 1607375850
Exemplare
Medientyp Heimatbibliothek Standort Signatur Status Fälligkeitsdatum Barcode Vormerkungen
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 84 A 3633(2) Verfügbar 53484881090
Anzahl Vormerkungen: 0

Archivierung prüfen 20221111 DE-640 2 pdager

Powered by Koha