Summary goes here
Сохранить в:
| Формат: | |
|---|---|
| Язык: | английский |
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 1ea3c8f2-4c71-4952-b5d1-c49d44b3f4ca |
| isbn | 0121412520 9780121412524 0121412504 9780121412500 |
| issn | |
| language | eng |
| physical | xiv, 322 pages :illustrations ;23 cm |
| publication | – publisher: Academic Press dateOfPublication: 1983 |
| publishDate | 1983 |
| subjects | |
| title | The computer modelling of mathematical reasoning / Alan Bundy, Department of Artificial Intelligence, Edinburgh. |
| topic | Mathematics Logic, Symbolic and mathematical. Automatic theorem proving. Cybernetics. Artificial intelligence. Cybernetics Computers Artificial Intelligence cybernetics. computers. artificial intelligence. Cybernetics Artificial intelligence Automatic theorem proving Logic, Symbolic and mathematical Mathematics MathematicsApplications of digital computer systems Instructional and educational works Instructional and educational works. |