Logic, Symbolic and mathematical

Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings / by: (書目-語言資料,印刷品)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / 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: (書目-電子資源)

Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Kurt Godel : = essays for his centennial / by: (書目-語言資料,印刷品)

Formal concept analysis = 12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (書目-電子資源)

Interactive theorem proving = 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Logic, language, information, and computation = 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence = 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings / by: (書目-電子資源)

Artificial intelligence and symbolic computation = 12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings / by: (書目-電子資源)

Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings / by: (書目-電子資源)

Formal concept analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (書目-電子資源)

Facets of uncertainties and applications = ICFUA, Kolkata, India, December 2013 / by: (書目-電子資源)

Logic, language, information, and computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (書目-電子資源)

One hundred prisoners and a light bulb by: (書目-電子資源)

Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (書目-電子資源)

Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (書目-電子資源)

Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium / by: (書目-電子資源)