О суперинтуиционистских логиках
А.В. Кузнецов (1975)
Matematiceskie issledovanija
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “О суперинтуиционистских логиках как фрагментах расширений логики доказуемости”
О суперинтуиционистских логиках
О функциональной выразимости в суперинтуиционистских логиках
А.В. Кузнецов (1971)
Matematiceskie issledovanija
Similarity:
О двупорожденных дважды однородных квазигруппах
А.В. Кузнецов, Е.А. Кузнецов (1983)
Matematiceskie issledovanija
Similarity:
Алгоритмы, алгебры и интуиционистская логика
А.В. Кузнецов (1987)
Matematiceskie issledovanija
Similarity:
О гипотезе Лемера. I
Н.В. Кузнецов (1979)
Zapiski naucnych seminarov Leningradskogo
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:
Влияние нулевых цепей на сложность контактных схем
С.Е. Кузнецов (1984)
Verojatnostnye metody i kibernetika
Similarity:
Моделирование контактных схем на цифровых машинах
С.Е. Кузнецов (1978)
Verojatnostnye metody i kibernetika
Similarity:
Особые случаи задачи продолжения пограничного слоя
В.В. Кузнецов (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О нижней оценке длины кратчайшей д.н.ф. почти всех булевых функций
С.Е. Кузнецов (1983)
Verojatnostnye metody i kibernetika
Similarity:
Двойственность функторов и двойственность категорий
В.В. Кузнецов, А.С. Шварц (1968)
Sibirskij matematiceskij zurnal
Similarity: