著者典拠情報

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


1.

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

図書
図書
2. Combinatorial functors (: u.s. ; : gw)
J.N. Crossley, Anil Nerode
出版情報: Berlin : Springer-Verlag, 1974
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 81
所蔵情報: loading…
3.

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