R. L. Constable
Autor de Implementing Mathematics With the Nuprl Proof Development System
Obras de R. L. Constable
Etiquetado
Conocimiento común
Todavía no hay datos sobre este autor en el Conocimiento Común. Puedes ayudar.
Miembros
Estadísticas
- Obras
- 2
- Miembros
- 7
- Popularidad
- #1,123,407
- ISBNs
- 5