Определимость булевых алгебр в HF-надстройках
Ромина А.В.
Алгебра и логика, 39, N 6 (2000), 711-719
వర్గాలు:
సంవత్సరం:
2000
భాష:
russian
పేజీల సంఖ్య:
9
ఫైల్:
PDF, 956 KB
IPFS:
,
russian, 2000