English 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" English translation, "lettko" English translation, "lettl" English translation, "lettlinger" English translation, "lettlova" English translation, "lettmark" English translation, "lettner" English translation, "lettovits" English translation, "lettow" English translation, "lettre" English translation
|
|
|
