LOGICA SIMBOLICA

 
Página 1 de 1. Mostramos 1 registros (del 1 al 1) de un total de 1
  • Autor: LORENTE TALLADA JUAN MANUEL
    Año: 1978
    Universidad: VALENCIA
    Resumen
    EL TRABAJO CONSISTE EN LA PRESENTACION DE UN CALCULO QUE ARITMETIZA EL METODO DE RESOLUCION DE ROBINSON. SE PRESENTA PARA EL CALCULO PROPOSICIONAL Y SE AMPLIA AL CALCULO DE PREDICADOS PREVIA NORMALIZ ... [Sigue]