Новакова, Наталия Евгеньевна
Показать все ссылки каталога
Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"
1996
1529
0
0