Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / edited by Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano.

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions.  The congress focusses on a variety of topics including: logic...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Blackburn, Patrick (Editor), van Ditmarsch, Hans (Editor), Manzano, Maria (Editor), Soler-Toscano, Fernando (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edition:1st ed. 2011.
Series:Lecture Notes in Artificial Intelligence ; 6680
Springer eBook Collection.
Subjects:
Artificial intelligence.
Mathematical logic.
Education—Data processing.
Science education.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Copy 1 Available

Similar Items