Automated Deduction in Classical and Non-Classical LogicsRicardo Caferra
Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra, Gernot Salzer · 2003
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9783540465089
מקור הנתונים: Wikidata
עוד של Ricardo Caferra
Automated Model BuildingRicardo Caferra
Automated Model Building
Ricardo Caferra · 2004
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