0 to say exactly what something means, or what someone or something is like -- definiować, określać
1 to show the outer edges or shape of something -- zarysować, wyznaczać
As a tool a relativized normal-order reduction, called local evaluation, is defined.
We also develop a variation on the language model so that stack-based trace policies can be defined.
Analogously to the situation for resolvespecs, there is a tension between allowing arbitrary computation in defining the relations and supporting compile-time analysis.
A weak head reduction relation is defined for the expressions of the calculus.
In section 2, we explain the basic idea of our data-parallel evaluation mechanism for recursively defined data.
A data type declaration defines the structure of a recursive datum and the data constructor names.
A general outbreak is defined as ' an outbreak affecting more than one private residence or residents of an institution ' [7].
Severe sepsis and septic shock : defining the clinical problem.
中文繁体
解釋, 給(尤指單詞)下定義, 說明,解釋…
More中文简体
解释, 给(尤指单词)下定义, 说明,解释…
MoreEspañol
definir, clasificar, especificar…
MorePortuguês
definir…
More日本語
~を定義する…
MoreTürk dili
tarif etmek, tanımlamak, açıklamak…
MoreFrançais
définir, cerner, dessiner…
MoreCatalan
definir…
More