Применение изограмм в поиске вывода
Previous Page 2
Displaying 21 – 30 of 30
Распознавание изоморфизма древовидных изображений за линейное время
А.Н. Григорьева (1984)
Zapiski naucnych seminarov Leningradskogo
Распространение обратного метода на аксиоматические теории с равенством
А.Ю. Плюшкевичене (1973)
Zapiski naucnych seminarov Leningradskogo
Распространение обратного метода на исчисление с равенством
С.Ю. Маслов (1971)
Zapiski naucnych seminarov Leningradskogo
Связь между тактиками обратного метода и метода резолюций
С.Ю. Маслов (1969)
Zapiski naucnych seminarov Leningradskogo
Синтез метода резолюций с обратным методом
Г.В. Давыдов (1971)
Zapiski naucnych seminarov Leningradskogo
Стратегия дефакторизации в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Стратегия упорядочивания дизъюнктов в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
С.Ю. Маслов (1969)
Zapiski naucnych seminarov Leningradskogo
Финитный подход к задаче оптимизации алгоритмов установления выводимости
А.О. Слисенко (1975)
Zapiski naucnych seminarov Leningradskogo
Currently displaying 21 – 30 of 30
Previous Page 2