Алгорифм машинного поиска естественного логического вывода в исчислении высказываний Н. А. Шанин [и др.]
Сохранить в:
Другие авторы: | Шанин Н. А., Давыдов Г. В., Маслов С. Ю. |
---|---|
Тип документа: | Книга |
Язык: | Russian |
Год издания: |
Москва Ленинград Наука, [Ленинградское отделение] 1965
|
Предметная рубрика: | |
Ключевые слова: |
Схожие документы
-
Логика высказываний и теория вывода
Автор: Зиновьев А. А.
Год издания: (1962) -
Выразимость в исчислениях высказываний
Автор: Раца М. Ф.
Год издания: (1991) -
Прикладная логика
Автор: Непейвода Н. Н.
Год издания: (1997) -
Введение в математическую логику
Автор: Колмогоров А. Н.
Год издания: (1982) -
Элементарное введение в символическую логику
Автор: Бродский И. Н.
Год издания: (1972)