Tools for Teaching Logic
3. TICTTL 2011: Salamanca, Spain
Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano (Eds.): Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6680 ISBN 978-3-642-21349-6 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team