Risultati della ricerca
-
1
-
2
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
Pubblicazione 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
3
Communication complexity a new approach to circuit depth
Pubblicazione 1989Click here to access thru EZproxy
Click here to access
Electronic Resource -
4
-
5
-
6
Efficient checking of polynomials and proofs and the hardness of approximation problems
Pubblicazione 1995Libro -
7
-
8
-
9
-
10


