A Many-Sorted Calculus Based on Resolution and ParamodulationLibro electrónicoA Many-Sorted Calculus Based on Resolution and ParamodulationdeChristoph WaltherCalificación: 0 de 5 estrellas0 calificacionesGuardar A Many-Sorted Calculus Based on Resolution and Paramodulation para después