Joe Hurd
Autor de Theorem Proving in Higher Order Logics (TPHOLs 2005)
Obras de Joe Hurd
Etiquetado
Conocimiento común
Todavía no hay datos sobre este autor en el Conocimiento Común. Puedes ayudar.
Miembros
Estadísticas
- Obras
- 1
- Miembros
- 2
- Popularidad
- #2,183,609
- ISBNs
- 2