Mobile
Log In Sign Up
Home > english-chinese > "lettmann" in Chinese

Chinese translation for "lettmann"

莱特曼
Example Sentences:
1.Fundamenta informaticae , 2004 , 62 : 1 - 23 . 10 kleine b " uing h , lettmann h . propositional logic : deduction and algorithms , cambridge university press , 1999 . 11 hilbert d , ackermann w . principles of mathematical logic
2提出了一个算法把ctl在有界语义下满足性的检测规约到一个qbf quantified boolean formulas问题的满足性的判定上,同时证明了算法的正确性。
Similar Words:
"lettiska" Chinese translation, "lettko" Chinese translation, "lettl" Chinese translation, "lettlinger" Chinese translation, "lettlova" Chinese translation, "lettmark" Chinese translation, "lettner" Chinese translation, "lettovits" Chinese translation, "lettow" Chinese translation, "lettre" Chinese translation