Элиминация кванторов в хорновых теориях с малым числом моделей.
Е.А. Палютин (1991)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Е.А. Палютин (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: