• Libros
  • Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics
VV.AA.
Anglès
EAN
9781402016561
Editorial
Any d'edició
2003
Idioma
Anglès
Col·lecció
Applied Logic Series
Alt
235
Ample
155
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres