Алгоритмы, алгебры и интуиционистская логика

А.В. Кузнецов

The search session has expired. Please query the service again.

Displaying similar documents to “Алгоритмы, алгебры и интуиционистская логика”

О суперинтуиционистских логиках

А.В. Кузнецов (1975)

Matematiceskie issledovanija

Similarity:

О суперинтуиционистских логиках как фрагментах расширений логики доказуемости

А.В. Кузнецов, А.Ю. Муравицкий (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: