Logic, Symbolic and mathematical - Congresses.
Overview
| Works: | 18 works in 14 publications in 14 languages | |
|---|---|---|
Titles
Advances in technological applications of logical and intelligent systems[electronic resource] :selected papers from the Sixth Congress on Logic Applied to Technology /
by:
(Language materials, printed)
Advances in logic based intelligent systems[electronic resource] :selected papers of LAPTEC 2005 /
by:
(Language materials, printed)
Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings /
by:
(Language materials, printed)
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving[electronic resource] :5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Language materials, printed)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
by:
(Electronic resources)
Facets of uncertainties and applications[electronic resource] :ICFUA, Kolkata, India, December 2013 /
by:
(Electronic resources)
Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
by:
(Language materials, printed)
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(Language materials, printed)
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Language materials, printed)
Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(Language materials, printed)
Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(Electronic resources)
Subjects