researchmap
 

Research Interests  [ 定理証明 ]

8 items found

Japanesetheorem proving
definition数学的定理をコンピュータによって証明させること。あるいは、その理論。
synonyms自動証明

  • <
  • >

  • <
  • >