Suchergebnisse - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Treffer 1 - 2 von 2
-
1
Proof technology and computation
Veröffentlicht 2006“… NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany …”
Signatur: Wird geladen …An electronic book accessible through the World Wide Web; click to view
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
2
Proof technology and computation
Veröffentlicht 2006“… NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany …”
Signatur: Wird geladen …An electronic book accessible through the World Wide Web; click to view
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book