Hakutulokset - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Näytetään 1 - 2 yhteensä 2 tuloksesta
-
1
Proof technology and computation
Julkaistu 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Hyllypaikka: Lataa…An electronic book accessible through the World Wide Web; click to view
Sijainti: Lataa…
Elektroninen Konferenssijulkaisu E-kirja -
2
Proof technology and computation
Julkaistu 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Hyllypaikka: Lataa…An electronic book accessible through the World Wide Web; click to view
Sijainti: Lataa…
Elektroninen Konferenssijulkaisu E-kirja