Designing a rewriting induction prover with an increased capability of non-orientable equations

1 Citations

Journal

Citations (1)*help

See more

Details 詳細情報について

  • CRID
    1570572700918284928
  • NII Article ID
    10025982374
  • Data Source
    • CiNii Articles

Report a problem

Back to top