Logic, Symbolic and mathematical
概要
| 作品: | 31 作品在 19 項出版品 19 種語言 | |
|---|---|---|
書目資訊
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-電子資源)
Advances in technological applications of logical and intelligent systems = selected papers from the Sixth Congress on Logic Applied to Technology /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(書目-電子資源)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(書目-電子資源)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(書目-電子資源)
Logic, language, information, and computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(書目-電子資源)
Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(書目-電子資源)
更多
較少的
主題