Resultados da pesquisa - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- A mostrar 1 - 2 resultados de 2
-
1
Proof technology and computation
Publicado em 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Área/Cota: A carregar...An electronic book accessible through the World Wide Web; click to view
Localização: A carregar...
Recurso Electrónico Conference Proceeding livro electrónico -
2
Proof technology and computation
Publicado em 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Área/Cota: A carregar...An electronic book accessible through the World Wide Web; click to view
Localização: A carregar...
Recurso Electrónico Conference Proceeding livro electrónico