Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings (Lecture Notes in Computer Science, Band 6680)

Proceedings

von: Patrick Blackburn · Hans van Ditmarsch · Maria Manzano · Fernando Soler-Toscano

Taschenbuch

ISBN-13: 978-3-642-21349-6

ISBN-10: 3-642-21349-9

Springer · 2011