Пловдивски университет "Паисий Хилендарски"

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

Книги

Периодика

Статии

Дисертации

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

Търсене в

Подредба

Чети онлайн

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

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

Автор да съдържа Lawrence C. Paulson

44132

Каталог "Книги" | Книги .(02)

A Generic Theorem Prover (1994)

Lawrence C. Paulson