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

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 6 of 6

Order by Relevance | Title | Year of publication

О корректировании недоказуемых формул

Г.В. Давыдов — 1967

Zapiski naucnych seminarov Leningradskogo

Метод установления выводимости в классическом исчислении предикатов

Г.В. Давыдов — 1967

Zapiski naucnych seminarov Leningradskogo

Синтез метода резолюций с обратным методом

Г.В. Давыдов — 1971

Zapiski naucnych seminarov Leningradskogo

Некоторые замечания о поиске вывода в исчислении предикатов

Г.В. Давыдов — 1968

Zapiski naucnych seminarov Leningradskogo

Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета

Г.В. Давыдов; П.Ю. Суворов — 1974

Zapiski naucnych seminarov Leningradskogo

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

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

Zapiski naucnych seminarov Leningradskogo

Page 1

Download Results (CSV)