你即將離開本站

並前往https://core.ac.uk/download/pdf/228033019.pdf

Extensional Paramodulation for Higher-Order Logic and its ...

specifying the goals of this thesis within the Leo-III research project. 1.2. Higher-Order Logic. The term higher-order logic refers to expressive logical ...

確定！ 回上一頁

查詢 「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.