Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)
Materias
Ediciones (1)
- Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence) (2018)
SAGE Publications, Limited · inglés · ISBN 9781614999195