Results for kleene translation from French to English

stephen cole kleene
kleene

kleene a écrit:
kleene wrote:

l'ensemble a forme une algèbre de kleene.
then "a" forms a kleene algebra.

il a été eglise avec ses élèves rosser et kleene.
there was church together with his students rosser and kleene .

* 1994 : stephen cole kleene, mathématicien américain (° ).
1922)*1994 – stephen cole kleene, american mathematician, computer scientist, and academic (b.

kleene de recherche sur la théorie des algorithmes et d'une fonction récursive.
kleene's research was on the theory of algorithms and recursive functions.

Église avait 31 étudiants en doctorat, y compris foster, turing, kleene, kemeny, boone, et smullyan.
church had 31 doctoral students including foster , turing , kleene , kemeny , boone , and smullyan .

en fournissant des méthodes permettant de déterminer quels problèmes sont solubles, kleene de travail a conduit à l'étude des fonctions qui peuvent être calculées.
by providing methods of determining which problems are soluble, kleene's work led to the study of which functions can be computed.

or, comme le remarque kleene le raisonnement logique ordinaire revient à manier de telles relations de déduction (pas forcément dans le cadre du calcul propositionnel).
the definition can be extended, however, to sentences in first-order logic (see enderton (2002, p. 114) and kleene (1967 secs.

depuis 1930, l 'kleene sur plus de toute autre mathématicien développé les notions de calculabilité et efficace dans toutes leurs formes abstraites et les deux concrètes, à la fois mathématique et philosophique.
from 1930's on kleene more than any other mathematician developed the notions of computability and effective process in all their forms both abstract and concrete, both mathematical and philosophical.

(2), le monde anglophone n'a pas lu son livre, mais lire, au lieu de cela, kleene l 'ouvrage de 1952.
(2) the english speaking world did not read her book but read, instead, kleene 's book of 1952.

de plus, environnement canada (1993b) a signalé 37 déversements d'huiles moteur usées entre 1981 et 1992, variant de moins de 1 l à 2 273 l. il existe neuf usines de régénération au canada (ch2m hill engineering ltd., 1992; safety-kleen canada inc., 1993; icpp, 1993b; ministère de l'environnement du manitoba, 1993).
in addition environment canada (1993b) reported 35 spill events of waste crankcase oils from 1981 to 1992 which ranged from <1 l to 2273 l. there are nine re-refineries operating in canada (ch2m hill engineering ltd., 1992; safety-kleen canada inc., 1993; cppi, 1993b; manitoba environment, 1993).