Automated Theorem ProvingMonty Newborn

Automated Theorem Proving

Monty Newborn · 2000

איפה לקנות

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

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

פרטי הספר

שנה: 2000
שפה: English
הוצאה: Springer
מהדורות: 4
עמודים: 231
ISBN: 9780387950754

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

עוד של Monty Newborn

Kasparov versus Deep BlueMonty Newborn

Kasparov versus Deep Blue

Monty Newborn · 1997

Kasparov versus Deep BlueMonty Newborn

Kasparov versus Deep Blue

Monty Newborn · 1996

Deep BlueMonty Newborn

Monty Newborn · 2002

Beyond Deep BlueMonty Newborn

Beyond Deep Blue

Monty Newborn · 2011