Zoekresultaten - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Toon 1 - 2 resultaten van 2
-
1
Proof technology and computation
Gepubliceerd in 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Plaatsingsnummer: Wordt geladen…An electronic book accessible through the World Wide Web; click to view
Locatie: Wordt geladen…
Elektronisch Conferentie akten E-boek -
2
Proof technology and computation
Gepubliceerd in 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Plaatsingsnummer: Wordt geladen…An electronic book accessible through the World Wide Web; click to view
Locatie: Wordt geladen…
Elektronisch Conferentie akten E-boek