Automated reasoning introduction and applications
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Englewood Cliffs
Prentice-Hall
1984
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |
Internet
Перейти в каталог НБ ТГУНаучная библиотека ТГУ: Книгохранилище
| Call Number: |
1-519604 |
|---|---|
| Available Place a Hold |