RI UAM Cuajimalpa / concentric@: Search

biblioteca@correo.cua.uam.mx

Comience una nueva búsqueda

RESULTADOS/PÁGINA | CLASIFICAR POR En orden AUTORES/REGISTRO

Resultados 1-2 de 2 (Tiempo de la busqueda: 0.001 segundos).

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
2014	Herramienta de apoyo en la detección de reutilización de código fuente	PICAZO ALVAREZ, RAYMUNDO; VILLATORO TELLO, ESAU; LUNA RAMIERZ, WULFRANO ARTURO; JAIMEZ GONZALEZ, CARLOS ROBERTO