Kниги автора Чень Ч., Ли Р.

Математическая логика и автоматическое доказательство теорем

Автор: Чень Ч., Ли Р.
Год: 1983
Издание: [не указано]

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы