Чень Ч

Изданий в каталоге: 1

Математическая логика и автоматическое доказательство теорем
1983; совм. с Ли Р