AKTUELLE PARTNERANGEBOTE

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science)

Name: Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science)
Brand: Manuel Kauers
SKU: 3896680

Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 424, publicationDate : 2007-08-08, publishers : Manuel Kauers, languages : english, ISBN : 3540730834

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science)

Finde das Produkt,
das wirklich zu dir passt.