Результати пошуку - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Показ 1 - 2 результатів із 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Книга