English 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" English translation, "gramke" English translation, "gramkin" English translation, "graml" English translation, "gramley" English translation, "gramlichs" English translation, "gramling" English translation, "gramm" English translation, "gramm-leach-bliley act" English translation, "grammage" English translation
|
|
|
