Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland · 2005

איפה לקנות

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

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

פרטי הספר

שנה: 2005
שפה: English
הוצאה: Cambridge University Press
מהדורות: 1
עמודים: 218
ISBN: 9781280458682

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

עוד של Alan Bundy

Catalogue of artificial intelligence techniquesAlan Bundy

Catalogue of artificial intelligence techniques

Alan Bundy · 1990

Rob MilneAlan Bundy

Alan Bundy · 2006

RipplingAlan Bundy

Alan Bundy · 2005

Artificial Intelligence TechniquesAlan Bundy

Artificial Intelligence Techniques

Alan Bundy · 1997

Artificial Intelligence TechniquesAlan Bundy

Artificial Intelligence Techniques

Alan Bundy · 1996

Automated Deduction - Cade-12Alan Bundy

Automated Deduction - Cade-12

Alan Bundy · 1994

Catalogue of artificial intelligence toolsAlan Bundy

Catalogue of artificial intelligence tools

Alan Bundy · 1984