000 01015cam a22003134a 4500
003 AR-SsjUIB
005 20250710164129.0
008 250429s2012 ag 000 0 spa d
040 _aAR-SsjUIB
_cAR-SsjUIB
041 0 _aspa
044 _aag
080 _a043
100 1 _aCholele, Amalia Nancy
_921535
245 1 0 _aVerificación y validación de consecuencia lógica en requisitos basados en procesos de análisis de lenguaje natural.
260 _aSan Salvador de Jujuy :
_bUniversidad Nacional. Facultad de Ingeniería,
_c2012.
300 _a127 p. :
_bil. ;
_c30 cm
504 _aBibliografía en p.124-127.
650 7 _aInformática
_2lemb
_92114
650 7 _aLenguajes naturales
_2lemb
_921536
650 7 _aLógica
_2lemb
_92051
650 7 _aProlog
_2lemb
_913173
650 7 _aProyecto final informática
_2lemb
_913122
655 4 _aProyecto
_912398
700 1 _aCruz, Delia Cristina
_921537
942 _cLB
_2cdu
945 _adbfi
_d2012-11-13
999 _c15582
_d15582