Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Saved in:
Main Author: | Martín de la Calle, Pedro Jesús. |
---|---|
Corporate Author: | e-libro, Corp. |
Format: | Thesis eBook |
Language: | Spanish |
Published: |
Madrid :
Universidad Complutense de Madrid,
2000.
|
Subjects: | |
Online Access: | https://elibro.net/ereader/unach/87411 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Empezar a programar usando java /
Published: (2012) -
Implementación de requisitos en sistemas orientados a datos con lenguaje OCL y lógica difusa
by: Rodríguez, Rosseline.
Published: (2011) -
Manejo de técnicas de programación /
by: Miranda Chávez, Edna Martha.
Published: (2015) -
SISEJER software entrenador para la superación de los instructores de los joven club del municipio La Habana del Este en el curso de lógica de programación
by: Fernández Anderson, Alexander.
Published: (2010) -
Lógica digital y microprogramable
by: Novo, Pío., et al.
Published: (2007)