Resultados da pesquisa - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- A mostrar 1 - 1 resultados de 1
-
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