1 ผลลัพธ์ สำหรับ automated theorem proving
/อ๊อ เถอะ เม ถิ ดึ เตี๊ย เหริ่ม พรู้ ฝิ่ง/     /ˈɔːtəmˌeɪtɪd θˈɪrəm prˈuːvɪŋ/
หรือค้นหา: -automated theorem proving-, *automated theorem proving*, automated theorem prov

ศัพท์บัญญัติราชบัณฑิตยสถาน
automated theorem provingการพิสูจน์ทฤษฎีบทด้วยเครื่อง [คอมพิวเตอร์ ๑๙ มิ.ย. ๒๕๔๔]

Time: 0.0197 seconds, cache age: 12.454 (clear)Longdo Dict -- https://dict.longdo.com/