Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

समान संसाधन

• Model-Driven Geometry Theorem Prover
  द्वारा: Ullman, Shimon
  प्रकाशित: (2004)
• An equality theorem prover based on grammar rewriting
  द्वारा: Batzoglou, Serafim
  प्रकाशित: (2007)
• The analysis of cryptographic APIs using the theorem prover Otter
  द्वारा: Youn, Paul, 1981-
  प्रकाशित: (2005)
• A Relaxation Approach to Splitting in an Automatic Theorem Prover
  द्वारा: Nevins, Arthur J.
  प्रकाशित: (2004)
• Reasoning with Inductively Defined Relations in the HOL Theorem Prover
  द्वारा: Camilleri, J, और अन्य
  प्रकाशित: (1992)