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