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)