Correo electrónico:
Contraseña:
Entrar
INICIO
COLECCIONES
ARTÍCULOS
REVISTAS
LIBROS
TESIS
MULTIMEDIA
AVANZADA
Sign In
Home
Browse
Communities
& Collections
Browse Items by:
Fecha
Author
Título
Subject
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Autor
Título
Tema
Campo de búsqueda / búsqueda general
Autor
Título
Tema
Autor
Título
Tema
Libros
Producción de académicos de la UAM-C
Tesis
Trabajos recepcionales de estudiantes del posgrado
Artículos
Producción de investigaciones y proyectos académicos
Revistas
Multimedia
Iniciar Sesión
Repositorio Nacional
Novedades
Biblioteca "Dr. Miguel León Portilla"
Contacto
biblioteca@correo.cua.uam.mx
RI UAM Cuajimalpa / concentric@
Autor:
Título:
Filtros de búsqueda
Fecha de Publicación:
Tema:
Buscar
Search:
All of DSpace
Concentric@
for
Filtros actuales:
Título
Autor
Temas
Date Issued
Has File(s)
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Título
Autor
Temas
Date Issued
Has File(s)
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Comience una nueva búsqueda
Agregar filtros:
Use filtros para refinar los resultados de su búsqueda.
Título
Autor
Temas
Fecha de emisión
Contine archivo
Igual
Contiene
ID
No es igual
No contiene
Diferente ID
Resultados 1-1 de 1 (Tiempo de la busqueda: 0.002 segundos).
previo
1
siguiente
Tópicos Sugeridos... dentro de su búsqueda.
Fecha
Título
Autor(es)
2018
Automatic theorem proving for natural logic: a case study on textual entailment
LAVALLE MARTINEZ, JOSE DE JESUS
;
MONTES Y GOMEZ, MANUEL
;
JIMENEZ SALAZAR, HECTOR
;
VILLASEÑOR PINEDA, LUIS
;
BELTRAN MARTINEZ, BEATRIZ
Autores
1
LAVALLE MARTINEZ, JOSE DE JESUS
1
MONTES Y GOMEZ, MANUEL
1
VILLASEÑOR PINEDA, LUIS
Temas
1
Demostración automática de teoremas
1
Diseño lógico
1
Procesamiento de lenguaje natural...
Año de publicación
1
2018
Has File(s)
1
true
UAM | UNIDAD CUAJIMALPA
Avenida Vasco de Quiroga 4871. Col. Santa Fe Cuajimalpa. Delegación Cuajimalpa de Morelos
C.P. 05348, Ciudad de México (Tel.: 5814 6500) |
UAM
DERECHOS RESERVADOS 2018
