Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings
Author(s)
Bibliographic Information
Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings
(Lecture notes in computer science, . Lecture notes in artifical intelligence ; 6680)
Springer, c2011
- : [pbk.]
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Other editors: Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano
"This volume contains papers presented at TICTTL2011, the Third International Congress on Tools for Teaching Logic, held during June 1-4, 2011 in Salamanca, Spain."--Pref
Includes bibliographical references and index