ARBOLES DE FORZAMIENTO SEMANTICO.

SE PRESENTA UN SISTEMA DE REGLAS DE INFERENCIA GRAFICA, EL CUAL PROPORCIONA DE MANERA NATURAL UN METODO EFECTIVO DE DECISIONE PARA EL CALCULO PROPOSICIONAL CLASICO Y CLASICO DE PREDICADOS MONADICOS DE PRIMER ORDEN

Bibliographic Details
Main Author: SIERRA, MANUEL
Format: Article
Language:Spanish
Subjects:

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available