Ли Р

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

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