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

代发服务

PDF电子书10元立即求助