DEEn Dictionary De - En
DeEs De - Es
DePt De - Pt
 Vocabulary trainer

Spec. subjects Grammar Abbreviations Random search Preferences
Search in Sprachauswahl
Search for:
Mini search box
 

   Haute-Normandie
         n 1: a division of Normandy [syn: {Haute-Normandie}, {Upper-
               Normandy}]

English Dictionary: Hydnoraceae by the DICT Development Group
From WordNet (r) 3.0 (2006) [wn]:
head nurse
n
  1. the person in charge of nursing in a medical institution
From WordNet (r) 3.0 (2006) [wn]:
heat energy
n
  1. a form of energy that is transferred by a difference in temperature
    Synonym(s): heat, heat energy
From WordNet (r) 3.0 (2006) [wn]:
hidden reserve
n
  1. reserves that do not show up on the balance sheet (as by understating values)
From WordNet (r) 3.0 (2006) [wn]:
Hydnoraceae
n
  1. a family of flowering plants in Africa and Argentina that are parasitic on the roots of other plants
    Synonym(s): Hydnoraceae, family Hydnoraceae
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
   Heathenry \Hea"then*ry\, n.
      1. The state, quality, or character of the heathen.
  
                     Your heathenry and your laziness.      --C. Kingsley.
  
      2. Heathendom; heathen nations.

From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   Head Normal Form
  
      (HNF) A term describing a {lambda
      expression} whose top level is either a variable, a data
      value, a built-in function applied to too few arguments, or a
      {lambda abstraction} whose body is not reducible.   I.e. the
      top level is neither a {redex} nor a lambda abstraction with a
      reducible body.
  
      An expression in HNF may contain redexes in argument postions
      whereas a {normal form} may not.
  
      Compare {Weak Head Normal Form}.
  
      (2003-01-08)
  
  

From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   head normalisation theorem
  
      Under the typed lambda-calculus, beta/delta reduction of the
      left-most redex (normal order reduction) is guaranteed to
      terminate with a head normal form if one exists.   See also
      Church-Rosser theorem.
  
  
No guarantee of accuracy or completeness!
©TU Chemnitz, 2006-2024
Your feedback:
Ad partners