close
1.

図書
図書
1. Logic for applications. 2nd ed
Anil Nerode and Richard A. Shore
出版情報: New York : Springer, c1997
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
2.

図書
図書
2. Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Sergei Adian, Anil Nerode, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1234
所蔵情報: loading…
3.

図書
図書
3. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings (: gw ; : us)
V.W. Marek, A. Nerode, M. Truszczyński (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995
シリーズ名: Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings (: us ; : gw)
A. Nerode, Yu. V. Matiyasevich (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 813
所蔵情報: loading…
6.

図書
図書
6. Logic for applications (: us ; : gw)
Anil Nerode, Richard A. Shore
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
7.

図書
図書
7. Logic programming and non-monotonic reasoning : proceedings of the second international workshop
edited by Luís Moniz Pereira and Anil Nerode
出版情報: Cambridge, Mass. : MIT Press, c1993
所蔵情報: loading…
8.

図書
図書
8. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings (: gw ; : us)
A. Nerode, M. Taitslin (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 620
所蔵情報: loading…
9.

図書
図書
9. 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…