TY  - BOOK
AU  - Kong, Maynard
TI  - Inteligencia artificial
SN  - 8489309868
U1  - 001.535 
PY  - 1993///
CY  - Lima
PB  - Universidad Católica del Perú
KW  - LÓGICA Y DEMOSTRACIÓN DE TEOREMAS
KW  - MÉTODOS
KW  - SISTEMAS DE GENERACIÓN PRUEBA
ER  -