Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings (Lecture Notes in Computer Science, 6680)
Full Title: | Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings (Lecture Notes in Computer Science, 6680) |
---|---|
ISBN: | 3642213499 |
ISBN13: | 9783642213496 |
Related ISBNs