Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
| Другие авторы: | , |
|---|---|
| Формат: | Книга |
| Публикация: |
М.:
Мир
1991
|
| Серии: | Математическое обеспечение ЭВМ
|
| Предметы: | |
| Online-ссылка: | Перейти в каталог Библиотеки ТУСУР |
| Объем: | 408 с.: a-ил |
|---|---|
| Библиография: | Библиогр. в конце ст. |
| ISBN: | 503001635X |