Alan Bundy

Catalogue of artificial intelligence tools
Alan Bundy, A. Bundy · 1984
פרטי הספר
- שנה
- 1984
- שפה
- English
- סדרה
- Symbolic Computation, Artificial Intelligence
- הוצאה
- Springer Berlin Heidelberg
- מהדורות
- 5
- עמודים
- 168
- ISBN
- 9783642969645
מקור הנתונים: Wikidata
עוד של Alan Bundy
Alan Bundy

Catalogue of artificial intelligence techniques
Alan Bundy · 1990
Alan Bundy

Rob Milne
Alan Bundy · 2006
Alan Bundy

Rippling
Alan Bundy · 2005
Alan Bundy

Artificial Intelligence Techniques
Alan Bundy · 1997
Alan Bundy

Artificial Intelligence Techniques
Alan Bundy · 1996
Alan Bundy

Automated Deduction - Cade-12
Alan Bundy · 1994
Alan Bundy
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy · 2005