|
|
2.
|
Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. por
- Blackburn, Patrick [editor.]
- Ditmarsch, Hans [editor.]
- Manzano, María [editor.]
- Soler-Toscano, Fernando [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6680
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
