Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee.
Materyal türü:
MakaleSeri kaydı: Computer science classicsYayın ayrıntıları: San Diego : Academic Press, [1987], c1973.Tanım: 331 p. : ill. ; 24 cmISBN: - 0121703509
- QA9
| Materyal türü | Geçerli Kütüphane | Yer numarası | Durum | Barkod | |
|---|---|---|---|---|---|
| Book | NEU Grand Library General Collection | QA9 .C483 1987 (Rafa gözat(Aşağıda açılır)) | Kullanılabilir | 2532403778 |
Includes bibliographical references (p. 309-324) and index.
Bu materyal hakkında henüz bir yorum yapılmamış.
Hesabınız ile oturum açın bir yorum göndermek için.