A Many-Sorted Calculus Based on Resolution and ParamodulationE-bookA Many-Sorted Calculus Based on Resolution and ParamodulationdeChristoph WaltherNota: 0 de 5 estrelas0 notasSalve A Many-Sorted Calculus Based on Resolution and Paramodulation para mais tarde