Элиминация кванторов в хорновых теориях с малым числом моделей.
Е.А. Палютин (1991)
Algebra i Logika
Similarity:
Е.А. Палютин (1991)
Algebra i Logika
Similarity:
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Ю.Д. Корольков (2002)
Algebra i Logika
Similarity:
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
С.Л. Березнюк (1993)
Algebra i Logika
Similarity:
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
Р. Доуни, Д. Хиршвельд, Б. Хусаинов (2003)
Algebra i Logika
Similarity:
Р.Ш. Оманадзе, R. Š. Omanadze, R. Š. Omanadze, R. Š. Omanadze (1994)
Algebra i Logika
Similarity:
Н.В. Белякин (1990)
Algebra i Logika
Similarity: