Zobrazeno 1 - 10
of 11 062
pro vyhledávání: '"Leo III"'
Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based proof search to higher-order logic. The prover may cooperate with multi
Externí odkaz:
http://arxiv.org/abs/1907.11501
Publikováno v:
9th International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and accepts every common TPTP dialect (FOF, TFF, THF), including their re
Externí odkaz:
http://arxiv.org/abs/1802.02732
Autor:
Tremp, Ernst
Publikováno v:
Archivum Historiae Pontificiae, 2018 Jan 01. 52, 151-178.
Externí odkaz:
https://www.jstor.org/stable/27194590
Autor:
Mišković, Miloš
Publikováno v:
Теолошки погледи / Theological Views. LII(3):619-638
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=839788
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Peter Crawford
The Roman Empire (long since ruled from Constantinople) was in a perilous and tumultuous position in the early eighth century. Surrounded by expansionist enemies, most notably the Muslim Arab Umayyad Caliphate but also the Khazars, Slavs, Avars, Bulg
Autor:
Christian Gastgeber
Publikováno v:
Medieval Worlds, Vol medieval worlds, Iss Volume 11. 2020, Pp 17-59 (2020)
Externí odkaz:
https://doaj.org/article/49d96e3bb472422a962a9ddf3ec617de
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.