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@
Artículos
for
Filtros actuales:
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.001 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
BELTRAN MARTINEZ, BEATRIZ
1
JIMENEZ SALAZAR, HECTOR
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