論文 ·関連 ·未確認 アクション言語 Tran Cao Son 収録 『特集 論理に基づく推論研究の動向』 言語 日本語 ndl_bib 10696770 URL https://ndlsearch.ndl.go.jp/books/R000000004-I10696770 この書誌の出所 ndl— 10696770（2026-08-13取得） 引用キー: Son