automated proof

英文 automated proof

中文 自動化證明

出處電子計算機名詞

相關詞匯

最近瀏覽

▸ automated proof

▸ split treatment

▸ circuit， voltage-doubling

▸ electronic signature

▸ burring reamer

▸ TSR {=typical speed range}

▸ nutritional deficiency disease

▸ instantaneous death

▸ bending moment influence line

▸ Neurorecidive; Neurorelapse; Neurorecurrence

▸ component of vector

▸ Loran system

▸ telescope pipe

▸ index medium

▸ soft-rock geology

　