A Many-Sorted Calculus Based on Resolution and ParamodulationLivre électroniqueA Many-Sorted Calculus Based on Resolution and ParamodulationdeChristoph WaltherÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer A Many-Sorted Calculus Based on Resolution and Paramodulation pour plus tard