lemma
<logic >
A result already proved, which is needed in the proof of some further result.
Last updated: 1995年03月25日
Nearby terms:
Le-Lisp ♦ lemma ♦ Lempel-Ziv compression ♦ Lempel-Ziv Welch compression
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading