Resultados
|
1.
|
|
|
2.
|
The Deductive Spreadsheet / by Iliano Cervesato. por
- Cervesato, Iliano [autor]
- SpringerLink (Servicio en línea)
Series Cognitive Technologies
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 for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. por
- Cervesato, Iliano [editor.]
- Veith, Helmut [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5330
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|