Automated Deduction - Cade-12Alan Bundy
Automated Deduction - Cade-12
Alan Bundy · 1994
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1994
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 848
- ISBN
- 9783540581567
מקור הנתונים: Wikidata
עוד של Alan Bundy
Catalogue of artificial intelligence techniquesAlan Bundy
Catalogue of artificial intelligence techniques
Alan Bundy · 1990
Rob MilneAlan Bundy
Rob Milne
Alan Bundy · 2006
RipplingAlan Bundy
Rippling
Alan Bundy · 2005
Artificial Intelligence TechniquesAlan Bundy
Artificial Intelligence Techniques
Alan Bundy · 1997
Artificial Intelligence TechniquesAlan Bundy
Artificial Intelligence Techniques
Alan Bundy · 1996
Catalogue of artificial intelligence toolsAlan Bundy
Catalogue of artificial intelligence tools
Alan Bundy · 1984
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 · 2005