Current Trends In Hardware Verification And Automated Theorem Proving

類似資料

• Current trends in hardware verification and automated theorem proving
  著者:: Current trends in
  出版事項: (1989)
• Automated theorem proving: theory and practice
  著者:: Newborn, Monty
  出版事項: (2001)
• First Order Logic And Automated Theorem Proving
  著者:: Gries, David
  出版事項: (1996)
• Mechanical geometry theorem proving
  著者:: Chou, Shang-Ching
  出版事項: (1988)
• Symbolic, logic and mechanical theorem proving
  著者:: Chang, Chin-Liang
  出版事項: (1973)