Automated Model BuildingRicardo Caferra

Automated Model Building
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 344
- ISBN
- 9781402026522
מקור הנתונים: Wikidata
עוד של Ricardo Caferra
Logic for Computer Science and Artificial IntelligenceRicardo Caferra
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra · 2013
Automated Model BuildingRicardo Caferra

Automated Model Building
Ricardo Caferra · 2010
Automated Deduction in Classical and Non-Classical LogicsRicardo Caferra
Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra · 2003