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

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

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

Търсене в

Подредба

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

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

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