上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Nerode Anil)
該当件数:9件
Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 ; proceedings / Sergei Adian, Anil Nerode (eds.)
Berlin : Springer , 1997. - (Lecture notes in computer science ; 1234)
図書 <1000708198>
Combinatorial Functors / by J. N. Crossley, Anil Nerode
Berlin, Heidelberg : Springer Berlin Heidelberg , 1974. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 81)
電子ブック <1002997308>
Automata Theory and its Applications / by Bakhadyr Khoussainov, Anil Nerode
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2001. - (Progress in Computer Science and Applied Logic ; 21)
電子ブック <1002989983>
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994, proceeding / A. Nerode, Yu. V. Matiyasevich (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 813)
図書 <1000499790>
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 620)
図書 <1000451168>
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)
: gw. - Berlin ; New York : Springer Verlag , c1995. - (Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence)
図書 <1000522202>
Recursion theory / [edited by Anil Nerode, Richard A. Shore].
Providence, R.I. : American Mathematical Society , 1985
電子ブック <1003004740>
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.)
New York : Springer , c1997. - (Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence)
図書 <1000554127>
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Mathematics ; 1429)
電子ブック <1002987684>