Automated theorem proving /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
Braunschweig :
F. Vieweg,
1982.
|
| الموضوعات: |
| وصف المادة: | Includes index. |
|---|---|
| وصف مادي: | xiii, 292 p. : ill. ; 23 cm. |
| بيبلوغرافيا: | Bibliography: p. [277]-287. |
| ردمك: | 3528085207 : |