Yazar
Anil Nerode
13 cilt bulundu.
Anil Nerode · Springer
411 sayfa · 1993
Computer science / Logic programming / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Anil Nerode · Springer
513 sayfa · 2007
Ciência da computação (congressos) / Programação lógica (congressos) / Symbolic and mathematical Logic / Computer science / Congresses
Anil Nerode · Springer-Verlag
365 sayfa · 1993
Logic programming / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Luis Moniz Pereira, Anil Nerode · MIT Press
494 sayfa · 1993
Logic programming / Congresses / Reasoning / Nonmonotonic reasoning / Nichtmonotone Logik
Anil Nerode, Richard A. Shore · American Mathematical Society
528 sayfa · 1984
Addresses, essays, lectures / Recursion theory
Anil Nerode, John N. Crossley · Birkhäuser Boston
682 sayfa · 1993
Logic programming / Symbolic and mathematical Logic / Logic, symbolic and mathematical
Anil Nerode, Noam Greenberg · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok
Anil Nerode, John N. Crossley · Springer
813 sayfa · 1993
Logic programming / Symbolic and mathematical Logic / Logic, symbolic and mathematical
Anil Nerode, Wiktor Marek, V. S. Subrahmanian · MIT Press
295 sayfa · 1991
Logic programming / Nonmonotonic reasoning / Programmation logique / Raisonnement / Kongress