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)