Logic, Symbolic and mathematical - Congresses.
概観
| 著作: | 18 作品に 14 出版物中に 14 言語 | |
|---|---|---|
タイトル
Advances in technological applications of logical and intelligent systems[electronic resource] :selected papers from the Sixth Congress on Logic Applied to Technology /
…で:
(言語・文字資料 (印刷物))
Advances in logic based intelligent systems[electronic resource] :selected papers of LAPTEC 2005 /
…で:
(言語・文字資料 (印刷物))
Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Facets of uncertainties and applications[electronic resource] :ICFUA, Kolkata, India, December 2013 /
…で:
(コンピュータ・メディア)
Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
…で:
(言語・文字資料 (印刷物))
主題