Ngā hua rapu - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- E whakaatu ana i te 1 - 2 hua o te 2
-
1
Proof technology and computation
I whakaputaina 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Tau karanga: E uta ana...An electronic book accessible through the World Wide Web; click to view
Tauwāhi: E uta ana...
Tāhiko Mauhanga Hui īPukapuka -
2
Proof technology and computation
I whakaputaina 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Tau karanga: E uta ana...An electronic book accessible through the World Wide Web; click to view
Tauwāhi: E uta ana...
Tāhiko Mauhanga Hui īPukapuka