Resultados
|
|
1.
|
|
|
|
2.
|
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz. por
- Libkin, Leonid [editor.]
- Kohlenbach, Ulrich [editor.]
- Queiroz, Ruy [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8071
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Logic, language, information, and computation : 21st international workshop, wollic 2014, valparaíso, chile, september 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz. por
- Kohlenbach, Ulrich [editor.]
- Barceló, Pablo [editor.]
- Queiroz, Ruy de [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8652
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
