Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. por Series Applied Logic Series ; 29
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2005 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
2.
Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. por Series Applied Logic Series ; 33
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2005 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 601.

Place hold Add to cart
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 Series Applied Logic Series ; 35
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3.

Place hold Add to cart
Pages