Anil Nerode
Anil Nerode
1932
6 ספרים במאגר
ספרים
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 methodsAnil Nerode
Logical methods
Anil Nerode · 1993
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
ספרים משותפים ואוספים
ספרים שבהם Anil Nerode מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
