Шуменски университет "Епископ Константин Преславски"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерен е 1 резултат.

Разширено търсене

Автор да съдържа Чанг Чень
ЧТ/510.6/Ч 63
Каталог "Книги" | Книги | Библиотека на ДИКПО
Математическая логика и автоматическое доказательство теорем
(1983)
Чанг Чень; Ричард Ли