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
|
|
|
