Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings - Lecture Notes in Computer Science - Manuel Kauers - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540730835 - 19 czerwca 2007
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Manuel Kauers
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings - Lecture Notes in Computer Science

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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.

423 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 19 czerwca 2007
ISBN13 9783540730835
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 423
Wymiary 156 × 234 × 22 mm   ·   644 g
Język Francuski  

Więcej od Manuel Kauers

Pokaż wszystko

Zobacz wszystko od Manuel Kauers ( np. Paperback Book i Hardcover Book )