Resultados
|
|
|
|
|
|
|
|
Handbook of logic in computer science / Ed. by s. abramsky, dov m. gabbay, and t.s.e. maibaum por Abramsky, Samson, 1953- [editor] | Gabbay, Dov M, 1945- [editor] | Maibaum, Thomas S. E, 1947- [editor]. Tipo de material: Texto; Formato:
impreso Editor: Oxford : Clarendon Press, 1900-9999Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA76 H339, ...
|
|
|
|
|
|
Lógica para informáticos / Rafel Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibañez por Farré Cierra, Rafael [autor] | Nieuwenhuis, Robert [autor] | Nivela Alós, Pilar [autor] | Nivela Alós, Pilar [autor] | Oliveras Llunell, Albert [autor] | Rodríguez Carbonell, Enric [autor] | Sierra Santibañez, Josefina [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México : Alfaomega : Marcombo, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 F37.
|
|
|
Lógica simbólica para informáticos / Pascual Julián Iranzo por Julián Iranzo, Pascual [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: México, D.F. : Alfaomega : Ra-Ma, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 I73.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Many-valued logics / Leonard Bolc, Piotr Borowik por Bolc, Leonard, 1934- [autor] | Borowik, Piotr [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1992-9999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.45 B65.
|
|
|
|
|
|
|