A Many-Sorted Calculus Based on Resolution and ParamodulationeBookA Many-Sorted Calculus Based on Resolution and ParamodulationkaryaChristoph WaltherPenilaian: 0 dari 5 bintang0 penilaianSimpan A Many-Sorted Calculus Based on Resolution and Paramodulation untuk nanti