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