检索结果 - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Showing 1 - 2 results 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
位于: 载入...
电子 会议录 电子书 -
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
位于: 载入...
电子 会议录 电子书