Logic, Symbolic and mathematical
Overview
| Works: | 31 works in 19 publications in 19 languages | |
|---|---|---|
Titles
Advances in technological applications of logical and intelligent systems = selected papers from the Sixth Congress on Logic Applied to Technology /
by:
(Language materials, printed)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(Electronic resources)
Giuseppe Peano between mathematics and logic = proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 /
by:
(Electronic resources)
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:
(Electronic resources)
Logic, language, information, and computation = 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings /
by:
(Electronic resources)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
by:
(Electronic resources)
Facets of uncertainties and applications = ICFUA, Kolkata, India, December 2013 /
by:
(Electronic resources)
Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(Electronic resources)
Logics in artificial intelligence = 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings /
by:
(Language materials, printed)
Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(Electronic resources)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(Electronic resources)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings /
by:
(Electronic resources)
Artificial intelligence and symbolic computation = 12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
by:
(Language materials, printed)
Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Electronic resources)
Introduction to mathematical proof : = a transition to advanced mathematics /
by:
(Language materials, printed)
Show more
Fewer
Subjects