你即將離開本站

並前往https://link.springer.com/article/10.1007/s10817-021-09588-x

Extensional Higher-Order Paramodulation in Leo-III

Leo -III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is ...

確定！ 回上一頁

查詢 「Leo III」的人也找了：

  1. Leo III
    2.
  2. Michael iii the drunkard
    3.
  3. Charlemagne
    4.
  4. Empress Irene
    5.
  5. Constantine vi
    6.
  6. leo iv
    7.
  7. Constantine iii byzantine emperor
    8.
  8. Nikephoros I
    9.