RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 1969, том 8, номер 3, страницы 284–308 (Mi al1196)
Проблема разрешения для логики предикатов и операций

Ю. Ш. Гуревич


УДК: 518.5

Поступило: 13.01.1969



Реферативные базы данных:

© МИАН, 2024