対話型証明系

【たいわがたしょうめいけい】

中文：交互式证明系统

中日対訳辞書はプログラムで機械的に意味や表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。