Current Trends In Hardware Verification And Automated Theorem Proving

Gelijkaardige items

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