First Order Logic And Automated Theorem Proving

Benzer Materyaller

• Automated theorem proving: theory and practice
  Yazar:: Newborn, Monty
  Baskı/Yayın Bilgisi: (2001)
• Higher order logic theorem proving and its applications
  Baskı/Yayın Bilgisi: (1993)
• Symbolic logic and mechanical theorem proving /
  Yazar:: Chang, Chin-lidng
  Baskı/Yayın Bilgisi: (1973)
• Symbolic, logic and mechanical theorem proving
  Yazar:: Chang, Chin-Liang
  Baskı/Yayın Bilgisi: (1973)
• Current Trends In Hardware Verification And Automated Theorem Proving
  Yazar:: G. Birtwistle, P A Subrahmanian
  Baskı/Yayın Bilgisi: (1989)