Математическая логика и автоматическое доказательство теорем
Чень, Ч.
1983
358 с.
Главная
·
Поиск
·
Карта рубрик
·
Заказ копий
·
Автор: Чень, Ч.