30-letter words containing c, i, h, l, d
- adenosine cyclic monophosphate — cyclic AMP.
- computational adequacy theorem — This states that for any program (a non-function typed term in the typed lambda-calculus with constants) normal order reduction (outermost first) fails to terminate if and only if the standard semantics of the term is bottom. Moreover, if the reduction of program e1 terminates with some head normal form e2 then the standard semantics of e1 and e2 will be equal. This theorem is significant because it relates the operational notion of a reduction sequence and the denotational semantics of the input and output of a reduction sequence.
- dichlorodiphenyldichloroethane — (organic chemistry) An organochlorine insecticide that is a metabolite of DDT.
- give someone the cold shoulder — to treat someone in a cold manner; snub
- godel's incompleteness theorem — the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.
- gram-schmidt orthogonalization — a process for constructing an orthogonal basis for a Euclidean space, given any basis for the space.
- knights of the lambda-calculus — A semi-mythical organisation of wizardly LISP and Scheme hackers. The name refers to a mathematical formalism invented by Alonzo Church, with which LISP is intimately connected. There is no enrollment list and the criteria for induction are unclear, but one well-known LISPer has been known to give out buttons and, in general, the *members* know who they are.
- leukemic reticuloendotheliosis — hairy cell leukemia.
- parallel random-access machine — (parallel) (PRAM) An idealised parallel processor consisting of P processors, unbounded shared memory, and a common clock. Each processor is a random-access machine (RAM) consisting of R registers, a program counter, and a read-only signature register. Each RAM has an identical program, but the RAMs can branch to different parts of the program. The RAMs execute the program synchronously one instruction in one clock cycle. See also pm2.
- pedagogic algorithmic language — ["PAL - A Language for Teaching Programming Linguistics", A. Evans Jr, Proc ACM 23rd Natl Conf, Brandon/Systems Press (1968)].
- sea-launched ballistic missile — a ballistic missile designed for launch by a submarine or surface ship. Abbreviation: SLBM, S.L.B.M.
- to close the door on something — If someone closes the door on something, they stop thinking about it or dealing with it.
- transdermal therapeutic system — A transdermal therapeutic system is a method of delivering medication into the bloodstream through the skin, usually in the form of a medicated patch.
- united nations children's fund — UNICEF.
- upright database technology ab — (company) The Swedish company that developed the Mimer SQL database.
On this page, we collect all 30-letter words with C-I-H-L-D. It’s easy to find right word with a certain length. It is the easiest way to find 30-letter word that contains in C-I-H-L-D to use in Scrabble or Crossword puzzles