Logic programming
概観
| 著作: | 18 作品に 16 出版物中に 16 言語 | |
|---|---|---|
タイトル
Program development in computational logic: a decade of research advances in logic-based progam development
…で:
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Web reasoning and rule systems[electronic resource] :second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Inductive logic programming[electronic resource] :25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
…で:
(コンピュータ・メディア)
主題