Алгорифм машинного поиска естественного логического вывода в исчислении высказываний Н. А. Шанин [и др.]
Сохранить в:
| Другие авторы: | , , |
|---|---|
| Тип документа: | Книга |
| Язык: | Russian |
| Год издания: |
Москва Ленинград Наука, [Ленинградское отделение] 1965
|
| Предметная рубрика: | |
| Ключевые слова: |
Недоступно
| Шифр: |
Временно недоступно |
|---|---|
| Копировать 1 | Доступно |