000 00484nam a2200169Ia 4500
008 191201s9999||||xx |||||||||||||| ||und||
020 _a8489309868
082 _a001.535
_bK65/1993
100 _aKong, Maynard
245 0 _aInteligencia artificial
_cKong, Maynard
260 _aLima
_bUniversidad Católica del Perú
_c1993
300 _a243 p.
650 _aLÓGICA Y DEMOSTRACIÓN DE TEOREMAS
650 _aMÉTODOS
650 _aSISTEMAS DE GENERACIÓN PRUEBA
942 _cLIBR
999 _c62969
_d62969