Clausal form logic : an introduction to the logic of computer reasoning /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
Sydney ; Reading, Mass. :
Addison-Wesley Pub. Co.,
c1989.
|
| سلاسل: | International computer science series
|
| الموضوعات: |
| وصف مادي: | xiii, 359 p. : ill. ; 24 cm. |
|---|---|
| بيبلوغرافيا: | Includes bibliographies and index. |
| ردمك: | 0201129205 |