О суперинтуиционистских логиках
А.В. Кузнецов (1975)
Matematiceskie issledovanija
Similarity:
Displaying similar documents to “Алгоритмы, алгебры и интуиционистская логика”
О суперинтуиционистских логиках
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
А.В. Кузнецов, А.Ю. Муравицкий (1987)
Matematiceskie issledovanija
Similarity:
О функциональной выразимости в суперинтуиционистских логиках
А.В. Кузнецов (1971)
Matematiceskie issledovanija
Similarity:
О двупорожденных дважды однородных квазигруппах
А.В. Кузнецов, Е.А. Кузнецов (1983)
Matematiceskie issledovanija
Similarity:
Градуированные алгебры Ли с нулевой компонентой, равной сумме коммутурующих идеалов
М.И. Кузнецов (1981)
Matematiceskij sbornik
Similarity:
О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний
А.В. Кузнецов, A.V. Kuznecov, A.V. Kuznecov, A.V. Kuznecov, A.V. Kuznecov (1963)
Algebra i Logika
Similarity:
Сложность вентильных схем, получаемых с помощью градиентного алгоритма
С.Е. Кузнецов (1978)
Verojatnostnye metody i kibernetika
Similarity:
Заметка, относящаяся к интегрированию уравнений маханики
В.Н. Кузнецов ([unknown])
Matematiceskij sbornik
Similarity:
О гипотезе Лемера. I
Н.В. Кузнецов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Влияние нулевых цепей на сложность контактных схем
С.Е. Кузнецов (1984)
Verojatnostnye metody i kibernetika
Similarity:
Моделирование контактных схем на цифровых машинах
С.Е. Кузнецов (1978)
Verojatnostnye metody i kibernetika
Similarity:
Особые случаи задачи продолжения пограничного слоя
В.В. Кузнецов (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Линейный алгоритм перечисления всех полных подграфов планарного графа
С.Е. Кузнецов (1980)
Verojatnostnye metody i kibernetika
Similarity: