Computer-aided reasoning
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore · 2000
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal Methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry."--BOOK JACKET.
פרטי הספר
- שנה
- 2000
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 5
- עמודים
- 360
- ISBN
- 9780792378495
מקור הנתונים: Wikidata
