Bilaketaren emaitzak - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Erakusten 1 - 2 emaitzak -- 2
-
1
Proof technology and computation
Argitaratua 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Sailkapena: Lanean...An electronic book accessible through the World Wide Web; click to view
Kokapena: Lanean...
Baliabide elektronikoa Konferentzia-aktak eBook -
2
Proof technology and computation
Argitaratua 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Sailkapena: Lanean...An electronic book accessible through the World Wide Web; click to view
Kokapena: Lanean...
Baliabide elektronikoa Konferentzia-aktak eBook