Mohlo by se vám také líbit

Více informací o knize Automated Reasoning and Mathematics

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 153 bodů

Anotace knihy

This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Automated Reasoning and Mathematics
• Podnázev: Essays in Memory of William W. McCune
• Autor: Maria Paola Bonacina, Mark E. Stickel
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 259
• EAN: 9783642366741
• ISBN: 3642366740
• ID: 01663155
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 454 g
• Rozměry: 235 × 155 × 16 mm
• Datum vydání: 19. March 2013

Oblíbené z jiného soudku

---

---

---