AKTUELLE PARTNERANGEBOTE

Mechanizing Mathematical Reasoning: Essays in Honor of JÃ¶rg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science (2605), Band 2605)

Name: Mechanizing Mathematical Reasoning: Essays in Honor of JÃ¶rg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science (2605), Band 2605)
Brand: Dieter Hutter
SKU: 8948985

Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 580, publicationDate : 2008-06-13, releaseDate : 2005-04-01, authors : Dieter Hutter, Stephan Werner, ISBN : 3540250514

1 Angebote · ab 105,94 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Mechanizing Mathematical Reasoning: Essays in Honor of JÃ¶rg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science (2605), Band 2605)