Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
We couldn't estimate the reading time for this book.
Author
Contributions
- Ditmarsch, Hans van, 1959- - Contributor
- Manzano, María - Contributor
- Soler Toscano, Fernando - Contributor
- SpringerLink (Online service) - Contributor
Publication
2011 - Springer Berlin Heidelberg, Berlin, Heidelberg
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
[electronic resource] :
Identifiers
- Open LibraryOL25545475M
- ISBN-139783642213496
- Library of Congress Control Number2011927873
Classifications
- LCCBC59 .T53 2011
Subjects
Series Statement
- Lecture Notes in Computer Science -- 6680
Other Editions
- Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!