Chinese translation for "gramlich"
|
- 格拉姆利克
Related Translations:
- Example Sentences:
| 1. | 11 feng s . equivalence proving of term rewriting systems by induction . computer science , 2000 , 27 : 5 - 7 . in chinese 12 gramlich b . abstract relations between restricted termination and confluence properties of rewrite systems
本方法既可以通过在证明中使用命题来实现“向前证明” ，也可以通过在证明的过程中发现引理来实现“向后证明” 。 |
- Similar Words：
- "gramizo" Chinese translation, "gramke" Chinese translation, "gramkin" Chinese translation, "graml" Chinese translation, "gramley" Chinese translation, "gramlichs" Chinese translation, "gramling" Chinese translation, "gramm" Chinese translation, "gramm-leach-bliley act" Chinese translation, "grammage" Chinese translation
|
|
|
