搜索条件

清除过滤
过滤: 出版者 Universidad Autónoma Metropolitana 删除限定条件 出版者: Universidad Autónoma Metropolitana 学科 Lógica computacional 删除限定条件 学科: Lógica computacional
每页显示结果数
以如下方式察看搜索结果:
列表 Gallery Masonry Slideshow

搜索结果

  1. Lógica y semántica computacionales

    736664631?file=thumbnail
    描述: 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