Метод синтеза условий выводимости хорновских и некоторых других формул.
С.Н. Васильев (1997)
Sibirskij matematiceskij zurnal
Similarity:
С.Н. Васильев (1997)
Sibirskij matematiceskij zurnal
Similarity:
A.M. Васильев (1968)
Sibirskij matematiceskij zurnal
Similarity:
А.И. Васильев, В.Д. Соловьев ([unknown])
Verojatnostnye metody i kibernetika
Similarity:
П.И. Васильев (1973)
Sibirskij matematiceskij zurnal
Similarity:
Д.Г. Васильев (1983)
Matematiceskij sbornik
Similarity:
М.М. Лаврентьев, В.Г. Васильев (1966)
Sibirskij matematiceskij zurnal
Similarity:
Ю.Е. Бояринцев, В.Г. Васильев (1969)
Sibirskij matematiceskij zurnal
Similarity:
С.С. Артемьев, М.А. Якунин (1999)
Sibirskij matematiceskij zurnal
Similarity:
А.В. Васильев, A. V. Vasil'ev, A. V. Vasil'ev, A. V. Vasil'ev (1998)
Algebra i Logika
Similarity:
Е.В. Васильев (1996)
Sibirskij matematiceskij zurnal
Similarity:
A.A. Арсеньев ([unknown])
Matematiceskij sbornik
Similarity:
В.А. Срочко (1976)
Sibirskij matematiceskij zurnal
Similarity:
С.П. Меркурьев (1978)
Zapiski naucnych seminarov Leningradskogo
Similarity:
С.П. Меркурьев (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Ю.П. Пытьев (1984)
Matematiceskij sbornik
Similarity: