lettmann meaning in Chinese
莱特曼
Examples
- 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问题的满足性的判定上，同时证明了算法的正确性。