Options
Solving QMLTP Problems by Translation to Higher-order Logic
Steen, Alexander; Sutcliffe, Geoff; Gleißner, Tobias; u. a. (2022): „Solving QMLTP Problems by Translation to Higher-order Logic“. arXiv doi: 10.48550/ARXIV.2212.09570.
Publisher Information:
Year of publication:
2022
Pages:
Language:
English
Type:
Preprint
Activation date:
December 23, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/57440