Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)
Edición de la obra Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)
| Autor | Alexander Steen |
|---|---|
| Editorial | SAGE Publications, Limited |
| Fecha de publicación | 2018 |
| Idioma | inglés |