[Pay Per View]  confirm


Vol/No/Title/Authors number Price(including tax)
Vol.E102-D No.2
Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection
Chengcheng JI, Masahito KURIHARA, Haruhiko SATO,
1 ¥3240
Total: ¥3,240