論文

2018年

知識ベース補完を用いた高階論理推論のための自動公理生成

言語処理学会年次大会発表論文集(Web)
  • 吉川将司
    • ,
  • 峯島宏次
    • ,
  • 能地宏
    • ,
  • 戸次大介
巻
24th
号
リンク情報
J-GLOBAL
https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201802224017475607
ID情報
  • ISSN : 2188-4420
  • J-Global ID : 201802224017475607
エクスポート
BibTeX RIS
論文リストへ