Search result for

*automated theorem proving*

   
Languages
Dictionaries languages






Chinese Phonetic Symbols


ลองค้นหาคำในรูปแบบอื่น ๆ เพื่อให้ได้ผลลัพธ์มากขึ้นหรือน้อยลง: automated theorem proving, -automated theorem proving-
Some results are hidden.
configure
Dictionaries languages






Chinese Phonetic Symbols


อังกฤษ-ไทย: ศัพท์บัญญัติราชบัณฑิตยสถาน [เชื่อมโยงจาก orst.go.th แบบอัตโนมัติและผ่านการปรับแก้]
automated theorem provingการพิสูจน์ทฤษฎีบทด้วยเครื่อง [คอมพิวเตอร์ ๑๙ มิ.ย. ๒๕๔๔]

add this word


You know the meaning of this word? click [add this word] to add this word to our database with its meaning, to impart your knowledge for the general benefit




ติดโพย (PopThai)
 Move your mouse over the text to see pop-up windows.

 

*automated ( AO1 T AH0 M EY2 T IH0 D) theorem ( TH IH1 R AH0 M) proving ( P R UW1 V IH0 NG)*

 


 
automated
  • /AO1 T AH0 M EY2 T IH0 D/ [CMU]
  • (vt,vt) /'ɔːtəmɛɪtɪd/ [OALD]
    [automate]
  • (ออ'โทเมท) vt. ทำให้เป็นอัตโนมัติ, ปฏิบัติการหรือควบคุมโดยขบวนการอัตโนมัติ [Hope]
  • /AO1 T AH0 M EY2 T/ [CMU]
  • (vt) /'ɔːtəmɛɪt/ [OALD]
theorem
  • ข้อพิสูจน์ทางคณิตศาสตร์[Lex2]
  • แนวคิดที่ยอมรับว่าเป็นจริง[Lex2]
  • (เธีย'อะเรม) n. ทฤษฎีบท,กฎ,สูตร,หลักเกณฑ์,หลัก,ความคิดเห็น,ความเชื่อ. ###SW. theorematic adj. [Hope]
  • (n) ทฤษฎี,บทพิสูจน์,หลักเกณฑ์,สูตร,ความเชื่อ,ความคิดเห็น [Nontri]
  • /TH IH1 R AH0 M/ [CMU]
  • (n (count)) /th'ɪəʳrəm/ [OALD]
proving
  • /P R UW1 V IH0 NG/ [CMU]
  • (v) /pr'uːvɪŋ/ [OALD]
    [prove]
  • พิสูจน์: ตรวจสอบ [Lex2]
  • (พรูฟว) vt. พิสูจน์,พิสูจน์ให้ปรากฎความจริง,ทดสอบความถูกต้อง,ทดลองพิมพ์. vi. ปรากฎความจริง,แสดงว่า ###SW. provability n. provable adj. provably adv. ###S. confirm,substantiate [Hope]
  • (vi) ปรากฏว่า,แสดงว่า [Nontri]
  • (vt) พิสูจน์,ทดสอบ,ทำให้เห็นจริง,ทดลอง [Nontri]
  • /P R UW1 V/ [CMU]
  • (v) /pr'uːv/ [OALD]
 


Search other online dictionaries

English/Thai Dictionary
Thai Dictionary and related
English/Thai Dictionary Software Application
English/English Dictionary
 

Japanese Dictionary
German and German/English Dictionaries
Other translation and dictionary websites
Other interesting resources

Do you know the meaning of this word?

You can Suggest your own translation to Longdo

Discussions

About our ads
We know you don’t love ads. But we need ads to keep Longdo Dictionary FREE for users. Thanks for your understanding! Click here to find out more.
Go to Top