Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
и др., Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
http://libmeta.ru/resource/mathenc/publication/p11037
Данные
| bibliographicCitation | Шанин Н. А. и др., Алгорифм машинного поиска естественного логического вывода в исчислении высказываний," М.- Л., 1965 |
автор
Входящие связи
← ссылается на · 1
← цитирует · 1