著者典拠情報

著者標目形：
Nerode, Anil, 1932-
属性：
Personal
日付：
1932-
から見よ参照形：
Nerode, A
注記：
Author's Composita, equations, and recursive definitions, 1956
著者典拠ID：
DA00983235


1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館
4.

図書
図書
4. Logical methods : in honor of Anil Nerode's sixtieth birthday (: us ; : sz)
John N. Crossley ... [et al.], editors
出版情報: Boston : Birkhäuser, 1993
シリーズ名: Progress in computer science and applied logic ; v. 12
所蔵情報: 図書館
5.

図書
図書
5. 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
所蔵情報: 図書館
6.

図書
図書
6. 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
所蔵情報: 図書館
7.

図書
図書
7. Recursion theory
[edited by Anil Nerode, Richard A. Shore]
出版情報: Providence, R.I. : American Mathematical Society, c1985
シリーズ名: Proceedings of symposia in pure mathematics ; v. 42
所蔵情報: 図書館