Résultats de la recherche - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Résultat(s) 1 - 2 résultats de 2
-
1
Proof technology and computation
Publié 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Cote: Chargement en cours…An electronic book accessible through the World Wide Web; click to view
Localisé: Chargement en cours…
Électronique Actes de congrès eBook -
2
Proof technology and computation
Publié 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Cote: Chargement en cours…An electronic book accessible through the World Wide Web; click to view
Localisé: Chargement en cours…
Électronique Actes de congrès eBook