Automated reasoning and its applicationsLarry Wos
Automated reasoning and its applications
Larry Wos, Robert Veroff, Gail W. Pieper · 1997
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1997
- שפה
- English
- הוצאה
- MIT Press
- מהדורות
- 1
- עמודים
- 257
- ISBN
- 9780262303538
מקור הנתונים: Wikidata
עוד של Larry Wos
Collected Works of Larry WosLarry Wos
Collected Works of Larry Wos
Larry Wos · 2000
A fascinating country in the world of computingLarry Wos
A fascinating country in the world of computing
Larry Wos · 1999
Automated ReasoningLarry Wos
Automated Reasoning
Larry Wos · 1987
Collected Works of Larry Wos Vol. 1Larry Wos
Collected Works of Larry Wos Vol. 1
Larry Wos · 2000