Alexander Steen · 2 obras en el catálogoObrasKKI 2023 : Advances in Artificial IntelligenceKI 2023 : Advances in Artificial IntelligenceEExtensional Paramodulation for Higher-Order Logic and its EfExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)
EExtensional Paramodulation for Higher-Order Logic and its EfExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)