1 ผลลัพธ์ สำหรับ automated theorem prov
หรือค้นหา: -automated theorem prov-, *automated theorem prov*
เนื่องจากผลลัพธ์มีน้อย ระบบจึงเปลี่ยนคำค้นเป็น *automated theorem prov*

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

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