東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Meinke K.)
該当件数:3件
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 832)
図書
Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (ed.)
New York : Springer , 1998. - (Lecture notes in computer science ; 1490)
Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds
Berlin : Springer-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1298)