H. Farreny....Ed. Masson. 318 págs. 16 x 24 cm. Estado, bien. Índice: Resolución eurística por espacios de estados. Generadores de sistemas expertos. Demostración automática de teoremas. ETC......Sistemas Expertos Lógica Informática Métodos Programas