Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Edición de la obra Tools for Teaching Logic
| Autor | Patrick Blackburn |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642213496, 9783642213502 |
| LCCN | 2011927873 |
| Serie | Lecture Notes in Computer Science -- 6680 |
| Número de Cutter | B628t |