Options
Extensional Higher-Order Paramodulation in Leo-III
Steen, Alexander; Benzmüller, Christoph (2021): „Extensional Higher-Order Paramodulation in Leo-III“. Dordrecht: Springer doi: 10.1007/s10817-021-09588-x.
Author:
Title of the Journal:
Journal of Automated Reasoning
ISSN:
1573-0670
0168-7433
Publisher Information:
Year of publication:
2021
Issue:
65
Pages:
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
Activation date:
September 16, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55578