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:
(書目-語言資料,印刷品)
主題