Sistema Bibliotecario de la Universidad de Quintana Roo Koha › Resultados de la búsqueda para 'ccl=se,phr:"Applied Logic Series,"'

Su búsqueda retornó 5 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias

	1.	A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. por Kamareddine, Fairouz [author.] \| Laan, Twan [author.] \| Nederpelt, Rob [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles : Agregar al carrito (remover)
	2.	Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. por Thielscher, Michael [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles : Agregar al carrito (remover)
	3.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. por Carnielli, Walter [author.] \| Coniglio, Marcelo [author.] \| Gabbay, Dov M [author.] \| Gouveia, Paula [author.] \| Sernadas, Cristina [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles : Agregar al carrito (remover)
	4.	Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. por Metcalfe, George [author.] \| Olivetti, Nicola [author.] \| Gabbay, Dov [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles : Agregar al carrito (remover)
	5.	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braȭner. por Braȭner, Torben [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles : Agregar al carrito (remover)