Higher order logic theorem proving and its applications

Những quyển sách tương tự

• Symbolic, logic and mechanical theorem proving
  Bằng: Chang, Chin-Liang
  Được phát hành: (1973)
• First Order Logic And Automated Theorem Proving
  Bằng: Gries, David
  Được phát hành: (1996)
• Programming with Higher-Order Logic /
  Bằng: Miller,, Dale
  Được phát hành: (2012)
• Symbolic logic and mechanical theorem proving /
  Bằng: Chang, Chin-lidng
  Được phát hành: (1973)
• Logic for computer science: foundations of automatic theorem proving
  Bằng: Gallier, Jean H; Author
  Được phát hành: (1987)