Verificación y validación de consecuencia lógica en requisitos basados en procesos de análisis de lenguaje natural.
- San Salvador de Jujuy : Universidad Nacional. Facultad de Ingeniería, 2012.
- 127 p. : il. ; 30 cm
Bibliografía en p.124-127.
Informática Lenguajes naturales Lógica Prolog Proyecto final informática