東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Hermenegildo Manuel)
該当件数:3件
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S.Doaitse Swierstra, (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 982)
図書
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 844)
Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1870)