検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal A1 International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (11th 2016 Porto, Portugal) A1 Dowek, Gilles A1 Licata, Daniel R YR 2016 FD 2016 K1 Logic programming -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB ACM PP New York LA English (英語) CL LCC:QA76.63 CL DC23:005.115 NO License restrictions may limit access NO Description based on: online resource; title from pdf title page (ACM Digital Library, viewed August 30, 2018) NO その他のタイトル:Logical Frameworks and Meta-Languages: Theory and Practice 2016 NO その他のタイトル:Proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice NO 書誌ID=OB00824673; XISBN=9781450347778; LK https://dl.acm.org/doi/book/10.1145/2966268 DS 同志社大学OPAC OL 30