Resultados
|
|
1.
|
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra. por
- Aguzzoli, Stefano [editor.]
- Ciabattoni, Agata [editor.]
- Gerla, Brunella [editor.]
- Manara, Corrado [editor.]
- Marra, Vincenzo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4460
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
|
|
|
3.
|
Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter. por
- Bezhanishvili, Guram [editor.]
- Löbner, Sebastian [editor.]
- Marra, Vincenzo [editor.]
- Richter, Frank [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7758
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.
|
