城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Logic programming)
該当件数:3件
Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin
Cambridge, Mass. : MIT Press , c1991
図書
Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / edited by Daniela Petrişan, Jurriaan Rot
1st ed. 2020.. - Cham : Springer International Publishing : Imprint: Springer , 2020. - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 12094)
電子ブック
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König
1st ed. 2020.. - Cham : Springer International Publishing : Imprint: Springer , 2020. - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 12077)