Automated Deduction, Les Arcs, France, July 8-11, 1980 /

類似資料

• Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
  著者:: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), 等
  出版事項: (2007)
• Symposium on Automatic Demonstration [proceedings] /
  著者:: Symposium on Automatic Demonstration (1968 : Versailles, France), 等
  出版事項: (1970)
• Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
  著者:: TABLEAUX 2007 (2007 : Aix en Provence, France), 等
  出版事項: (2007)
• Analogical Reasoning in Geometry Proofs
  著者:: Anass Bayag, 等
  出版事項: (2021-06-01)
• Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root
  著者:: Vassil Todorov, 等
  出版事項: (2019-12-01)