Математическая логика и автоматическое доказательство теорем
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | Russian |
| Опубликовано: |
М
Наука
1983
|
| Предметы: |
МУҮНомын сан салбар: UB0100000117
| Шифр: |
51450 |
|---|---|
| Копировать Unknown | Доступно Поместить задолженность |