TY  - BOOK
AU  - Cholele,Amalia Nancy
AU  - Cruz,Delia Cristina
TI  - Verificación y validación de consecuencia lógica en requisitos basados en procesos de análisis de lenguaje natural
PY  - 2012///
CY  - San Salvador de Jujuy
PB  - Universidad Nacional. Facultad de Ingeniería
KW  - Informática
KW  - lemb
KW  - Lenguajes naturales
KW  - Lógica
KW  - Prolog
KW  - Proyecto final informática
KW  - Proyecto
N1  - Bibliografía en p.124-127
ER  -