Rezultati - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Showing 1 - 2 results of 2
-
1
Proof technology and computation
Izdano 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Signatura: Nalaganje...An electronic book accessible through the World Wide Web; click to view
Nahaja se: Nalaganje...
Elektronski Conference Proceeding eKnjiga -
2
Proof technology and computation
Izdano 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
Signatura: Nalaganje...An electronic book accessible through the World Wide Web; click to view
Nahaja se: Nalaganje...
Elektronski Conference Proceeding eKnjiga