Towards Mechanized Mathematical Assistants

Name: Towards Mechanized Mathematical Assistants
Brand: Springer, Berlin
SKU: 9783540730835
Price: 18147 HUF
Availability: InStock

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

Szerző: Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

18 147 Ft

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical K...

Információk a könyvről

Szerző

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2007

oldal

410

EAN

9783540730835

ISBN

3540730834

Enbook ID

01568715

Kiadó

Springer, Berlin

Súly

646

Méretek

155 x 237 x 25

Teljes leírás

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Towards Mechanized Mathematical Assistants

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták