1 Results for 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.0069 seconds, cache age: 25.431 (clear)Longdo Dict -- https://dict.longdo.com/