EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
68-XX Computer science
68Txx Artificial intelligence

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 47 Next

Displaying 921 – 940 of 947

Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)

Ю.В. Матиясевич, А.О. Слисенко (1971)

Zapiski naucnych seminarov Leningradskogo

К моделированию синтеза простых предложений на естественном языке

Т.И. Ибрагимов (1980)

Verojatnostnye metody i kibernetika

Матричные вычисления в задачах распознавания образов

И.И. Макаров, Р.К. Самитов (1987)

Verojatnostnye metody i kibernetika

Машинный алгорифм установления выводимости на основе обратного метода

Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, A.O. Слисенко (1969)

Zapiski naucnych seminarov Leningradskogo

Меры сложности слов на основе предиката вхождения и редактирующего расстояния

А.Н. Григорьева (1981)

Zapiski naucnych seminarov Leningradskogo

Метод синтеза условий выводимости хорновских и некоторых других формул.

С.Н. Васильев (1997)

Sibirskij matematiceskij zurnal

Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка

Р. Плюшкявичюс (1995)

Zapiski naucnych seminarov POMI

Некоторые вопросы графической регулярности

А.И. Шкловский (1971)

Zapiski naucnych seminarov Leningradskogo

Некоторые вопросы разработки фактографических систем, ориентированных на работу с математическими текстами

А.И. Еникеев, М.Е. Альфес (1979)

Verojatnostnye metody i kibernetika

О метаматематическом подходе к доказательству теорем дискретной математики

Ю.В. Матиясевич (1975)

Zapiski naucnych seminarov Leningradskogo

О поиске вывода в исчислениях общего типа

С.Ю. Маслов (1973)

Zapiski naucnych seminarov Leningradskogo

О распознавании тавтологичности пропозициональных формул

П.Ю. Суворов (1976)

Zapiski naucnych seminarov Leningradskogo

О свойствах одной характеристики сложности языков

Ф.М. Аблаев (1980)

Verojatnostnye metody i kibernetika

О сложности линейных выводов в методе резолюций

Р.К. Самитов (1983)

Verojatnostnye metody i kibernetika

Об одном возможном подходе к вопросу автоматического синтаксического анализа предложных и беспредложных именных конструкций чешского языка

N. A. Paščenko (1966)

Kybernetika

Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций

Н.К. Замов, В.И. Шаронов (1969)

Zapiski naucnych seminarov Leningradskogo

Одна схема доказательств в дискретной математике

Ю.В. Матиясевич (1974)

Zapiski naucnych seminarov Leningradskogo

Применение изограмм в поиске вывода

Н.К. Замов, В.И. Шаронов (1973)

Issledovanija po prikladnoj matematike

Распознавание изоморфизма древовидных изображений за линейное время

А.Н. Григорьева (1984)

Zapiski naucnych seminarov Leningradskogo

Распространение обратного метода на аксиоматические теории с равенством

А.Ю. Плюшкевичене (1973)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 921 – 940 of 947

Previous Page 47 Next