1 Results for automated theorem prov

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

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

automated theorem proving

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

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