Результаты поиска - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
-
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Книга