Index Catalog // 蹄兔

清除过滤

过滤: Jurado Miranda Perea, Favio Ezequiel

列表 Gallery Masonry Slideshow

08612n87f?file=thumbnail

1. Árboles semánticos para algunas lógicas alético-epistémico-doxásticas

学科:: Lógica, Modalidad (Lógica), Logic, and Modality (Logic)
创造者:: Sánchez Hernández, Juan Carlos
贡献者:: Miranda Perea, Favio Ezequiel, Torres Falcón, Yolanda Magda, and Fernández de Castro Tapia, José Jorge Max
出版者:: Universidad Autónoma Metropolitana
Posgrado:: Maestria en Humanidades Filosofia
语言:: spa
Año de publicación:: 2022
权:: Acceso Abierto
执照:: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:: info:eu-repo/semantics/masterThesis
识别码:: https://doi.org/10.24275/uami.dz010q29s

736664631?file=thumbnail

2. Lógica y semántica computacionales

描述:: El capítulo 1 inicia revisando la lógica de primer orden, desde qué es una expresión bien construida del lenguaje lógico de primer orden sobre un vocabulario, las condiciones de satisfacibilidad respecto de un modelo de primer orden, y la forma de asociar oraciones de un lenguaje natural a un lenguaje...
学科:: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
创造者:: Acevedo Atenco, Habersheel
贡献者:: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
出版者:: Universidad Autónoma Metropolitana
Posgrado:: Maestria en Ciencias Matematicas
语言:: spa
Año de publicación:: 2014
权:: Acceso Abierto
执照:: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:: info:eu-repo/semantics/masterThesis
识别码:: https://doi.org/10.24275/uami.xp68kg37h