1 ผลลัพธ์ สำหรับ *automated theorem proving*

หรือค้นหา: automated theorem proving, -automated theorem proving-

ศัพท์บัญญัติราชบัณฑิตยสถาน

การพิสูจน์ทฤษฎีบทด้วยเครื่อง [คอมพิวเตอร์ ๑๙ มิ.ย. ๒๕๔๔]

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