Resultats de la cerca - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Mostrar 1 - 2 resultats de 2
-
1
Proof technology and computation
Publicat 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Signatura: Carregant…An electronic book accessible through the World Wide Web; click to view
Localitzat: Carregant…
Electrònic Actes de congresos eBook -
2
Proof technology and computation
Publicat 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Signatura: Carregant…An electronic book accessible through the World Wide Web; click to view
Localitzat: Carregant…
Electrònic Actes de congresos eBook