Tools for Teaching Logic: Third Inteational Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Hardcover: 270 pages
Publisher: Springer (May 23, 2011)
Language: English
ISBN-10: 3642213499