Benutzerdefiniertes Cover
Automated theorem proving : theory and practice / Monty Newborn
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: New York ; Heidelberg [u.a.] : Springer, 2001Beschreibung: XIII, 231 S. : Ill., graph. Darst. ; 24 cm + 1 CD-ROM (12 cm)ISBN:- 0387950753
- 004.015113
- 004/.01/5113
- QA76.9.A96
- QA76.9.A96N49 2000
- 3
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.New | Bibliothek / frei aufgestellt | D.New(34030) | Verfügbar | 000389563090 |
Anzahl Vormerkungen: 0
Systemvorraussetzungen: IBM; UNIX (Linux, Solaris, FreeBSD, and AIX)
Archivierung prüfen 20200919 DE-640 3 pdager