tail of a clause

tail of a clause
хвост [правая часть] (хорновской) формулы (в языке ПРОЛОГ)

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем написать реферат

Смотреть что такое "tail of a clause" в других словарях:

  • Arbitration clause — Contract law Part o …   Wikipedia

  • Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia

  • Church encoding — In mathematics, Church encoding is a means of embedding data and operators into the lambda calculus, the most familiar form being the Church numerals, a representation of the natural numbers using lambda notation. The method is named for Alonzo… …   Wikipedia

  • Otomi language — Otomi Hñähnü, Hñähño, Hñotho, Hñähü, Hñätho, Yųhų, Yųhmų, Ñųhų, Ñǫthǫ, Ñañhų Otomi market …   Wikipedia

  • Peter Boyle — bei der Premiere des Films F.I.S.T. – Ein Mann geht seinen Weg, 1978. Peter Lawrence Boyle (* 18. Oktober 1935 in Philadelphia, Pennsylvania; † 12. Dezember 2006 in New York City) war ein US amerikanischer Schauspieler …   Deutsch Wikipedia

  • Professional liability insurance — (PLI), also called professional indemnity insurance (PII) but more commonly known as errors omissions (E O) in the US, is a form of liability insurance that helps protect professional advice and service providing individuals and companies from… …   Wikipedia

  • Quark Framework — CAL Paradigm(s) functional, non strict, modular Appeared in 2004 Designed by Luke Evans, Bo Ilic (Business Objects) Typing discipline static, strong …   Wikipedia

  • Peter Boyle — Infobox actor imagesize = caption = Peter Boyle at the premiere of Sylvester Stallone s movie F.I.S.T., April 1978 birthname = Peter Lawrence Boyle birthdate = birth date|1935|10|18|mf=y birthplace = city state|Norristown|Pennsylvania, U.S.… …   Wikipedia

  • United States constitutional law — is the body of law governing the interpretation and implementation of the United States Constitution. [ [http://www.law.cornell.edu/wex/index.php/Constitutional law Cornell University Constitutional law] ] Interpreting the Constitution and the… …   Wikipedia

  • PSALMS, BOOK OF — This article is arranged according to the following outline: < <title> > place in the canon number of psalms verse division division into books composition of the psalter date of the psalter ascription to david types of psalms psalms… …   Encyclopedia of Judaism

  • Assignment (law) — Contract law Part …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»