Higher order logic theorem proving and its applications

類似資料

• Symbolic, logic and mechanical theorem proving
  著者:: Chang, Chin-Liang
  出版事項: (1973)
• First Order Logic And Automated Theorem Proving
  著者:: Gries, David
  出版事項: (1996)
• Programming with Higher-Order Logic /
  著者:: Miller,, Dale
  出版事項: (2012)
• Symbolic logic and mechanical theorem proving /
  著者:: Chang, Chin-lidng
  出版事項: (1973)
• Logic for computer science: foundations of automatic theorem proving
  著者:: Gallier, Jean H; Author
  出版事項: (1987)