Towards Mechanized Mathematical Assistants door Onbekend
Nu kopen!

Boek

Towards Mechanized Mathematical Assistants

14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings « 

Score:
 
 
 
 
 
 (3/0)

Aantal recensies:
0 
Aantal keer getipt:
0 
Aantal keer gelezen:
0 
Auteur(s):
 
Categorie:
 
ISBN
9783540730835

 
Deel via E-mail 
Deel op Twitter 



 
Informatie
 
 
Recensies
 
 
 
Prikbord
 
 
 
Vergelijkbaar
 
 
 
Lezers
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Recensies van Towards Mechanized Mathematical Assistants door

Er zijn nog geen recensies voor dit boek.

 
Meer recensies »