Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
| Other Authors: | , |
|---|---|
| Format: | Book |
| Published: |
М.:
Мир
1991
|
| Series: | Математическое обеспечение ЭВМ
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |