Mathematical Knowledge Management

Materias

• Mathematics, data processing
• Information storage and retrieval systems
• Automatic theorem proving

Ediciones (2)

• Mathematical Knowledge Management (2007)

  Springer London, Limited · inglés · ISBN 9783540364696

• Mathematical Knowledge Management (2004)

  Springer London, Limited · inglés · ISBN 9783540278184

Más obras de Andrea Asperti