Результаты поиска - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Отображение 1 - 2 результаты of 2
-
1
Proof technology and computation
Опубликовано 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Шифр: Загрузка...An electronic book accessible through the World Wide Web; click to view
Местонахождение: Загрузка...
Электронный ресурс Материалы конференции eКнига -
2
Proof technology and computation
Опубликовано 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Шифр: Загрузка...An electronic book accessible through the World Wide Web; click to view
Местонахождение: Загрузка...
Электронный ресурс Материалы конференции eКнига