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

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

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

Търсене в

Подредба

Намерен е 1 резултат. Да не би да имахте предвид учене?

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

Автор да съдържа Ч. Чень
ЦБ 30774
Каталог "Книги" | Книги | Централна библиотека на ШУ
Математическая логика и автоматическое доказательство теорем
(1983)
Ч. Чень; Р. Ли