Logic, Symbolic and mathematical - Congresses.
概要
| 作品: | 18 作品在 14 项出版品 14 种语言 | |
|---|---|---|
书目信息
Advances in logic based intelligent systems[electronic resource] :selected papers of LAPTEC 2005 /
by:
(书目-语言数据,印刷品)
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(书目-语言数据,印刷品)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Facets of uncertainties and applications[electronic resource] :ICFUA, Kolkata, India, December 2013 /
by:
(书目-电子资源)
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
主题