Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.

MLA

Steen, Alexander. “Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.” KI: Künstliche Intelligenz, vol. 34, no. 1, Mar. 2020, pp. 105–08. EBSCOhost, https://doi.org/10.1007/s13218-019-00628-8.

APA

Steen, A. (2020). Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III. KI: Künstliche Intelligenz, 34(1), 105–108. https://doi.org/10.1007/s13218-019-00628-8

Chicago

Steen, Alexander. 2020. “Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.” KI: Künstliche Intelligenz 34 (1): 105–8. doi:10.1007/s13218-019-00628-8.