富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Nerode Anil)
該当件数:5件
Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings / edited by Sergei Artemov, Anil Nerode
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 13137)
電子ブック
Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 813)
図書
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
Logic for applications / Anil Nerode, Richard A. Shore
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
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