1.

図書
図書
1. Automata theory and its applications
Bakhadyr Khoussainov, Anil Nerode
出版情報: Boston ; Basel : Birkhäuser, c2001
シリーズ名: Progress in computer science and applied logic ; v. 21
所蔵情報: loading…
2.

図書
図書
2. Logic programming and non-monotonic reasoning : proceedings of the first international workshop
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
出版情報: Cambridge, Mass. : MIT Press, c1991
所蔵情報: loading…