論文

査読有り 筆頭著者
2017年

Linear Algebraic Characterization of Logic Programs.

in: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017), Lecture Notes in Artificial Intelligence
  • Chiaki Sakama
  • ,
  • Katsumi Inoue
  • ,
  • Taisuke Sato

1041
開始ページ
520
終了ページ
533
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-319-63558-3_44
出版者・発行元
Springer

リンク情報
DOI
https://doi.org/10.1007/978-3-319-63558-3_44
DBLP
https://dblp.uni-trier.de/rec/conf/ksem/SakamaIS17
Dblp Cross Ref
https://dblp.uni-trier.de/conf/ksem/2017
Dblp Url
https://dblp.uni-trier.de/db/conf/ksem/ksem2017.html#SakamaIS17
ID情報
  • DOI : 10.1007/978-3-319-63558-3_44
  • DBLP ID : conf/ksem/SakamaIS17

エクスポート
BibTeX RIS