Определимость булевых алгебр в HF-надстройках
Ромина А.В.
Алгебра и логика, 39, N 6 (2000), 711-719
Категории:
Год:
2000
Язык:
russian
Страницы:
9
Файл:
PDF, 956 KB
IPFS:
,
russian, 2000