Yves Bertot
Teoksen Interactive Theorem Proving and Program Development tekijä
Tekijän teokset
Merkitty avainsanalla
Yleistieto
Jäseniä
You May Also Like
Associated Authors
Tilastot
- Teokset
- 3
- Jäseniä
- 42
- Suosituimmuussija
- #357,757
- Arvio (tähdet)
- 2.6
- ISBN:t
- 7