RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Расцветаев Александр Леонидович
Публикации в базе данных Math-Net.Ru
О пропозициональной логике булевых рекурсивных программ с вхождением предикатных переменных в условия
Матем. заметки
,
48
:3 (1990),
119–127
©
МИАН
, 2024
