Resultados de procura - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Mostrando 1 - 2 Resultados de 2
-
1
Proof technology and computation
Publicado 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Número de Clasificación: Cargando...An electronic book accessible through the World Wide Web; click to view
Situado: Cargando...
Electrónico Conference Proceeding eBook -
2
Proof technology and computation
Publicado 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Número de Clasificación: Cargando...An electronic book accessible through the World Wide Web; click to view
Situado: Cargando...
Electrónico Conference Proceeding eBook