Torthaí cuardaigh - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- 1 - 2 toradh as 2 á dtaispeáint
-
1
Proof technology and computation
Foilsithe / Cruthaithe 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Gairmuimhir: Ag lódáil…An electronic book accessible through the World Wide Web; click to view
Suíomh: Ag lódáil…
Leictreonach Imeacht comhdhála Ríomhleabhar -
2
Proof technology and computation
Foilsithe / Cruthaithe 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Gairmuimhir: Ag lódáil…An electronic book accessible through the World Wide Web; click to view
Suíomh: Ag lódáil…
Leictreonach Imeacht comhdhála Ríomhleabhar