Søgeresultater - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Showing 1 - 2 results of 2
-
1
Proof technology and computation
Udgivet 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Klassifikationsnummer: Loading...An electronic book accessible through the World Wide Web; click to view
Findes i: Loading...
Electronisk Conference Proceeding eBog -
2
Proof technology and computation
Udgivet 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Klassifikationsnummer: Loading...An electronic book accessible through the World Wide Web; click to view
Findes i: Loading...
Electronisk Conference Proceeding eBog