Lecture Notes in Computer Science4573- Towards Mechanized Mathematical Assistants

47,99 €

dans 1 boutique

À voir aussi

Cadeaux à moins de 50 €

Code-barres: 9783540730835

Cherchez aussi ce produit sur AmazonPar code-barres 9783540730835 · www.amazon.com.be

Toutes les offres

bol.com
Lecture Notes in Computer Science4573- Towards Mechanized Mathematical Assistants
47,99 €
En stock
Voir la boutique

Nous pouvons percevoir une commission si vous achetez via ce lien. Le prix que vous payez ne change pas.

À propos de ce produit

MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing.

Description fournie par bol.com.