automatic-theorem-proving programの意味・使い方・読み方

日英・英日専門用語辞書

調べた例文を記録して、効率よく覚えましょう

Weblio会員無料で登録できます

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

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

全履歴クリア

・automatic-theorem-proving program
・Positional precision
・Timperly
・submicroscale
・microphysid
・hyperallusive
・timeout flag
・pulling tests
・library reference model
・nonsyncopal

単語帳に追加