Logics in artificial intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings

Truth-value semantics / Hugues Leblanc

Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings

Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor

Deductive logic / Hugues Leblanc