論文

査読有り
2013年

An Approach to Abductive Reasoning in Equational Logic

proceedings of IJCAI 2013
  • ナチョ エシェニム
  • ,
  • ニコラ ペルチエ
  • ,
  • ソフィ トゥレ

記述言語
英語
掲載種別

エクスポート
BibTeX RIS