|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formalized proof of Dirichlet's theorem on primes in arithmetic progression |
John Harrison |
2009 |
2 | 1 |
p. 63-83 |
artikel |
|
| 2 | A New Look at Generalized Rewriting in Type Theory |
Matthieu Sozeau |
2009 |
2 | 1 |
p. 41-62 |
artikel |
|
| 3 | Formalization of the Integral Calculus in the PVS Theorem Prover |
Ricky Wayne Butler |
2009 |
2 | 1 |
p. 1-26 |
artikel |
3 gevonden resultaten