検索絞り込み条件絞り込み条件issn 項目を閉じる絞り込み条件絞り込み条件検索結果 3 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年：古い順出版年：新しい順タイトル：昇順タイトル：降順著者：昇順著者：降順請求記号順タイトルでまとめる一括お気に入りForcing and Calculi for Hybrid Logicspdfを表すアイコンデジタル記事Gaina Daniel MirceaAssociation for Computing Machinery2020-08-06Journal of the ACM67 4p.1-55インターネットで読める全国の図書館Journal of the ACMJournal of the ACM記録メディア雑誌The Association1954全国の図書館ISSN1557735X Journal of the AcmJournal of the Acmデジタル電子書籍・電子雑誌雑誌Association for Computing Machinery国立国会図書館検索結果は以上です。書誌情報を一括出力