booktheque

Towards Mechanized Mathematical Assistants

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · 2007

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2007
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
ISBN
9783540730866

מקור הנתונים: Wikidata

עוד של Manuel Kauers

The Concrete Tetrahedron
Manuel Kauers · 2011
D-Finite Functions
Manuel Kauers · 2024