Anil Nerode

Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
Anil Nerode · 1992
פרטי הספר
- שנה
- 1992
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 514
- ISBN
- 9780387557076
מקור הנתונים: Wikidata
עוד של Anil Nerode
Anil Nerode

Logical methods
Anil Nerode · 1993
Anil Nerode

Logical foundations of computer science--Tver '92
Anil Nerode · 1992
Anil Nerode

Logical methods
Anil Nerode · 1993
Anil Nerode

Logic programming and non-monotonic reasoning
Anil Nerode · 1991
Anil Nerode
Logical Foundations of Computer Science
Anil Nerode · 1994