Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий /
Яглом, И.
Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий / И.Яглом. - Москва, 1965. - 39 с.
ბულის რგოლები
512.563
Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий / И.Яглом. - Москва, 1965. - 39 с.
ბულის რგოლები
512.563