CLAUSAL LANGUAGE

Meaning of CLAUSAL LANGUAGE in English

< language > (CL) A programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II.

Paul Voda Home .

(2002-05-28)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

CLAUSAL — adjective Date: 1904 relating to or of the nature of a clause
Толковый словарь английского языка - Merriam Webster
LANGUAGE — I System of conventional spoken or written symbols used by people in a shared culture to communicate with each other. …
Английский словарь Британика
LANGUAGE — I. ˈlaŋgwij, ˈlaiŋ-, -wēj sometimes -ŋw- noun ( -s ) Usage: often attributive Etymology: Middle English langage, language, from Old …
Webster's New International English Dictionary
CLAUSAL — ˈklȯzəl adjective Etymology: clause (I) + -al : relating to or of the nature of a clause or clauses
Webster's New International English Dictionary
LANGUAGE — /lang"gwij/ , n. 1. a body of words and the systems for their use common to a people who are …
Random House Webster's Unabridged English Dictionary
CLAUSAL — adj. pertaining to a clause; pertaining to a part of a sentence which contains a subject and predicate (Grammar)
Толковый словарь английского языка - Редакция bed
CLAUSAL — adjective Date: 1904 : relating to or of the nature of a clause
Merriam-Webster's Collegiate English vocabulary
LANGUAGE — noun a race, as distinguished by its speech. 2. language ·vt to communicate by language; to express in language. 3. …
Webster English vocab
CLAUSAL — [claus.al] adj (1904): relating to or of the nature of a clause
Merriam-Webster English vocab
LANGUAGE — a system of conventional spoken or written symbols by means of which human beings, as members of a social group …
Britannica English vocabulary
CLAUSAL — clausal BrE AmE ˈklɔːz ə l ˈklɑːz-
Longman Pronunciation English Dictionary
LANGUAGE — / ˈlæŋgwɪdʒ; NAmE / noun OF A COUNTRY 1. [ C ] the system of communication in speech and writing …
Oxford Advanced Learner's English Dictionary
LANGUAGE — lan ‧ guage S1 W1 /ˈlæŋɡwɪdʒ/ BrE AmE noun [ Date: 1200-1300 ; Language: Old French ; Origin: langue 'tongue, …
Longman Dictionary of Contemporary English
LANGUAGE — n. 1 the method of human communication, either spoken or written, consisting of the use of words in an agreed …
Concise Oxford English Dictionary
LANGUAGE — n.1 the method of human communication, either spoken or written, consisting of the use of words in an agreed way. …
Oxford English vocab
LANGUAGE — ( languages) Frequency: The word is one of the 1500 most common words in English. 1. A language is a …
Collins COBUILD Advanced Learner's English Dictionary
LANGUAGE — noun COLLOCATIONS FROM OTHER ENTRIES a computer language (= a system of instructions used to program a computer ) a …
Longman DOCE5 Extras English vocabulary
LANGUAGE — n. Common Business Oriented Language. HyperText Markup Language Practical Extraction and Reporting Language. Standard Generalized Markup Language Structured Query Language. …
Britannica Concise Encyclopedia
LANGUAGE — INDEX: 1. the words used by the people in a particular country or area 2. the use of words to …
Longman Activator English vocab
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
LANGUAGE — language.ogg ʹlæŋgwıdʒ n 1. язык the Russian the English language - русский английский язык finger language - язык жестов, язык …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LANGUAGE — язык - absolute language - algorithmical language - algorithmic language - applicative language - artificial language - assembler language - …
Большой Англо-Русский политехнический словарь
LANGUAGE — язык - absolute language - algorithmical language - algorithmic language - applicative language - artificial language - assembler language - block-structured language - Boolean algebra-based language - Boolean based …
Большой Англо-Русский политехнический словарь - РУССО
LANGUAGE — язык absolutely adequate language — абсолютно адекватный язык absolutely homogeneous language — абсолютно однородный язык absolutely inadequate language — абсолютно неадекватный язык absolutely nonhomogeneous …
Англо-Русский научно-технический словарь
LANGUAGE — language сущ.языка) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language …
Англо-Русский словарь Tiger
LANGUAGE — n 1. язык the Russian the English language - русский английский язык finger language - язык жестов, язык глухонемых living …
Большой новый Англо-Русский словарь
LANGUAGE — сущ. язык а) ( как способ и средство общения ) речь to butcher, murder a language — искажать язык to …
Англо-Русский словарь по общей лексике
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language — обогащать язык to …
Англо-Русский словарь общей лексики
LANGUAGE — 1) язык || языковой 2) машинный язык; набор символов ( машины ) • - algorithmic language - application-oriented language - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LANGUAGE — 1) язык || языковой 2) машинный язык; набор символов (машины) • - algorithmic language - application-oriented language - applicative language - APT programming language - APT-based language - …
Англо-Русский словарь по машиностроению и автоматизации производства
LANGUAGE — язык || языковой - absolute language - action description language - actual machine language - AI language - Algol-like language - algorithmical language - algorithmic language - application-oriented …
Англо-Русский словарь по вычислительной технике и программированию
LANGUAGE — язык || языковой - AI language - Algol-like language - Bollean-based language - C-based language - Dyck language - NC …
Англо-Русский словарь компьютерных терминов
LANGUAGE — вчт. язык (программирования) - assembly language - Basic language - C language - CHILL language - common business-oriented language - computer language - computer-oriented language - control language - Fortran …
Англо-Русский словарь по телекоммуникациям
LANGUAGE — 1) язык 2) формулировка, формулировки; текст, буква (закона, договора) • language in force — действующая формулировка - abusive language - arresting language - bad language - basic …
Англо-Русский юридический словарь
LANGUAGE — язык; языковой - absolute language - computer language - dead language - down-to-earth language - indexing language - information retrieval language - language of law - language prescribed - …
Англо-Русский словарь по патентам и товарным знакам
LANGUAGE — язык см. algorithmic language см. artificial language см. cryptographic language см. data definition language см. data description language см. human …
Англо-Русский словарь компьютерной безопасности
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Новый большой Англо-Русский словарь
CLAUSAL REPRESENTATION — представление знаний логическими выражениями; представление знаний в виде программ на языке ПРОЛОГ
Большой Англо-Русский словарь
CLAUSAL REPRESENTATION — представление знаний логическими выражениями; представление знаний в виде программ на языке ПРОЛОГ
Англо-Русский словарь по компьютерам
CLAUSAL LOGIC — аппарат логических выражений, проф. клаузальная логика (форма логики, при которой все высказывания представляются с помощью логических операторов И, ИЛИ и …
Англо-Русский словарь по компьютерам
CLAUSAL REPRESENTATION — представление знаний логическими выражениями; представление знаний в виде программ на языке ПРОЛОГ
Англо-Русский словарь по вычислительной технике и программированию
CLAUSAL LOGIC — аппарат логических выражений, проф. клаузальная логика (форма логики, при которой все высказывания представляются с помощью логических операторов И, ИЛИ и …
Англо-Русский словарь по вычислительной технике и программированию
CLAUSAL REPRESENTATION — представление знаний логическими выражениями; представление знаний в виде программ на языке ПРОЛОГ
Новый большой Англо-Русский словарь
CLAUSE — — clausal , adj. /klawz/ , n. 1. Gram. a syntactic construction containing a subject and predicate and forming part …
Random House Webster's Unabridged English Dictionary
FACTIVE — ■ adjective Linguistics denoting a verb that assigns the status of an established fact to its object (normally a clausal …
Concise Oxford English vocab
CLAUSE — ■ noun 1》 a unit of grammatical organization next below the sentence in rank, and in traditional grammar said to …
Concise Oxford English vocab
CLAUSE — n. 1 Gram. a distinct part of a sentence, including a subject and predicate. 2 a single statement in a …
Concise Oxford English Dictionary
CLAUSE — n.1 Gram. a distinct part of a sentence, including a subject and predicate. 2 a single statement in a treaty, …
Oxford English vocab
TEMPLOG — Extension of Prolog to handle a clausal subset of first-order temporal logic with discrete time. Proposed by M. Abadi and …
FOLDOC Computer English Dictionary
CL — < language > 1. Control Language . 2. Clausal Language . (2002-05-28)
FOLDOC Computer English Dictionary
FORM — 1. сущ. 1) форма; внешний вид; очертание to assume, take the form of smth. ≈ принимать форму чего-л. to assume …
Большой Англо-Русский словарь
REPRESENTATION — представление; способ задания функций; отображение - analog representation - array representation - binary-coded decimal representation - boundary representation - centralized representation - character representation - circuit representation - …
Англо-Русский словарь по вычислительной технике и программированию
REPRESENTATION — представление; способ задания функций; отображение - analog representation - array representation - binary-coded decimal representation - boundary representation - centralized …
Англо-Русский словарь компьютерных терминов
FORM — 1. сущ. 1) форма; внешний вид; очертание to assume, take the form of smth. ≈ принимать форму чего-л. to assume …
Новый большой Англо-Русский словарь

FOLDOC Computer English Dictionary

← CLASSLESS INTER-DOMAIN ROUTING CLEAN→