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