東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Meyer John-Jules)
該当件数:3件
Epistemic logic for AI and computer science / J.-J. Ch. Meyer and W. van der Hoek
Cambridge : Cambridge University Press , c1995. - New York. - (Cambridge tracts in theoretical computer science ; 41)
図書
Formal models of agents : ESPRIT Project Model Age final Workshop : selected papers / John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1760 . Lecture notes in artificial intelligence)
Objects, agents, and features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers / Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (eds.)
Berlin : Springer , c2004. - Tokyo. - (Lecture notes in computer science ; 2975)