Encyclopedia of Math
Encyclopedia sourcePublicationDocument
и др., Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
http://libmeta.ru/resource/mathenc/publication/p11037
Данные
| bibliographicCitation | Шанин Н. А. и др., Алгорифм машинного поиска естественного логического вывода в исчислении высказываний," М.- Л., 1965 |
author
Входящие связи
← references · 1
← cites · 1