Logical methodsAnil Nerode
Logical methods
Anil Nerode, John N. Crossley · 1993
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1993
- שפה
- English
- סדרה
- Progress in computer science and applied logic -- v. 12
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 813
- ISBN
- 9781461203254
מקור הנתונים: Wikidata
עוד של Anil Nerode
Logical methodsAnil Nerode
Logical methods
Anil Nerode · 1993
Logical foundations of computer science--Tver '92Anil Nerode
Logical foundations of computer science--Tver '92
Anil Nerode · 1992
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992Anil Nerode
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
Anil Nerode · 1992
Logic programming and non-monotonic reasoningAnil Nerode
Logic programming and non-monotonic reasoning
Anil Nerode · 1991
Logical Foundations of Computer ScienceAnil Nerode
Logical Foundations of Computer Science
Anil Nerode · 1994