筑波大学数学系
1987 年 4 巻 3 号 p. 3_225-3_248
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
普通のホーン節の集合でさえも,その解釈しだいでは実用的な論理型並列処理言語とみなすことができる. この言語Oc(オーシー)を紹介する.
すでにアカウントをお持ちの場合 サインインはこちら
