Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

expression bien formée

WFF

informatique et traitement des données - iate.europa.eu

well-formed formula

informatique et traitement des données - iate.europa.eu

▷

A computer implementation of the transformations of formulas into prenex normal formThe purpose of this paper is to explain a computerized process whereby any well-formed formula (wff) of first order predicate calculus can be moved to its prenex normal form (PNF)....

général - core.ac.uk - PDF: eprints.cs.vt.edu

Publications scientifiques

▷

Semantic wff(x) specified syntacticallyHypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus...

général - core.ac.uk - PDF: philpapers.org

▷

Estimated affinities of wff and wf10 peptides for intact calmodulin.... The affinity of WFF for the RR state was only given as upper limit (<0.1nM),...

général - core.ac.uk - PDF: figshare.com

▷

The nature of the sign as a wff – a well-formed formula... The morphological form is a well-formed formula (wff), a Sign, an organized process of information....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Effective marginal tax rates for working for families recipientsThis paper examines how the Working for Families (WFF) package changed work incentives for WFF recipient families....

général - core.ac.uk - PDF: ojs.victoria.ac.nz

▷

Radar data smoothing filter studyThe accuracy of the current Wallops Flight Facility (WFF) data smoothing techniques for a variety of radars and payloads is examined....

général - core.ac.uk - PDF: hdl.handle.net

Synonymes et termes associés français

fbf

•

formule bien formée

Exemples français - anglais

tôle formée

curved plate

industrie mécanique / transport terrestre / transports - iate.europa.eu

charge formée

lined-cavity charge

défense / chimie / équilibre international - iate.europa.eu

lined-cavity shaped charge

défense / chimie / équilibre international - iate.europa.eu

shaped charge

défense / chimie / équilibre international - iate.europa.eu

[...]

hollow charge

expression musicale

musical expression

éducation - iate.europa.eu

[...]

expression d'opinion

statement of opinion

expression alphanumérique

alphanumeric expression

alphanumerical expression

expression transitoire

transient expression

expression idiomatique

idiomatic expression

expression numérique

numeric expression

numerical expression

expression postale

postal term

expression génétique

gene expression

genetic expression

expression de gène

gene expression

genetic expression

expression exécutable

executable expression

expression génique

gene expression

expression orale

speaking

oral expression

expression familière

colloquialism

expression abrégée

abbreviated expression

expression logique

logical expression

Boolean expression

expression d'intérêt

Expression of Interest

EoI

expression régulière

regexp

regular expression

expression corporelle

body self-expression

expression faciale

facial mime

expression emboîtée

nested expression

expression dépendante

dependent expression

expression arithmétique

arithmetic expression

expression hétérologue

heterologous expression

expression écrite

drafting skills

expression lambda

lambda expression

expression analytique

explicit formula

analytical formula

expression qualifiée

qualified expression

expression aberrante

aberrant expression

expression consacrée

stock phrase

expression conditionnelle

conditional expression

expression auto-référencée

self-referencing expression

bien d'occasion

used good

used goods

bien dépendant

appurtenant

bien complémentaire

complementary good

bien d'équipement

capital goods

capital good

equipment

bien fongible

interchangeable items

fungible items

bien saisi

foreclosed asset

bien économique

economic good

economic goods

bien amortissable

depreciable asset

bien durable

durable goods

bien dégagé

open

bien proportionné

well proportioned

bien intermédiaire

intermediate

bien collectif

social good

bien égaré

misplaced property

mislaid property

bien testable

experience goods

biens d'expérience

experience goods

biens incorporels

intangible property

bien immatériel

intangible property

biens-fonds

real property

immovable property

real estate

bien immeuble

real property

immovable property

real estate

bien immobilier

real property

immovable property

real estate

bien mixte

mixed property

bien substituable

substitute product

substitute

bien cuit

well-done

bien similaire

like good

bien modéré

well moderated

well-moderated

très bien

hear

bien sauvé

salvage property

salved property

bien public

public good

public benefit

bien culturel

cultural asset

bien manufacturé

manufactured product

bien indivis

joint estate

indivisum

undivided estate

bien lisible

clearly legible

bien existant

existing good

bien historique

historical asset

bien éclairées

well lit

bien substitué

estate in reversion

remainder

entailed estate

bien héréditaire

hereditament

bien commun

common pool resource

CPR

common good

bien matériel

material property

bien encouragé

Incentive good

bien corporel

tangible property

corporeal property

ou bien

either

bien formées

well formed

Traductions en contexte français - anglais

toute variable est une expression bien formée, alors est une expression bien formée.

If is an individual variable and is a well formed formula, then and are well formed formulas.

général - CCMatrix (Wikipedia + CommonCrawl)

définition, toute variable est une expression bien formée, alors est une expression bien formée.

If is an individual variable and is a well formed formula, then and are well formed formulas.

général - CCMatrix (Wikipedia + CommonCrawl)

La sémantique formelle d'un programme dans PW est définie par une fonction d'évaluation qui fait correspondre chaque graphe de patch P à une expression bien formée dans Lisp.

The formal semantics of a program in PW is defined by a valuation function mapping each graph P to a well formed Common Lisp expression.

général - CCMatrix (Wikipedia + CommonCrawl)

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод