Automated reasoning with Otter / John Arnold Kalman ; with a foreword by Larry Wos.
Materyal türü:
MetinYayın ayrıntıları:Princeton, N.J. : Rinton Press, 2001.Tanım: xv, 536 p. ; 27 cm. + 1 CD-ROM (4 3/4 in.)ISBN: - 1589490045
- 006.3/33
- QA76.9.A96
| Materyal türü | Geçerli Kütüphane | Yer numarası | Durum | Barkod | |
|---|---|---|---|---|---|
| Book with CD | NEU Grand Library General Collection | QA76.9.A96 K35 2001 (Rafa gözat(Aşağıda açılır)) | Kullanılabilir | 2665276347 | |
| Book with CD | NEU Grand Library General Collection | QA76.9.A96 K35 2001 (Rafa gözat(Aşağıda açılır)) | Kullanılabilir | 4016017711 |
Includes index.
Bu materyal hakkında henüz bir yorum yapılmamış.
Hesabınız ile oturum açın bir yorum göndermek için.