RUS
ENG
Full version
PEOPLE
Morosanova Natalia
Publications in Math-Net.Ru
Formal properties of the Shortliffe scheme
UBS
,
36
(2012),
5–38
©
Steklov Math. Inst. of RAS
, 2026
