Apprendre à traduire à partir d'exemples de traductions humaines.
De: Traduction automatique
Suggérer une meilleure traduction
Qualité :
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
"degrees of unsolvability.
"degrees of unsolvability.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
"recursive unsolvability of a problem of thue.
"recursive unsolvability of a problem of thue.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
"the upper semi-lattice of degrees of recursive unsolvability.
"the upper semi-lattice of degrees of recursive unsolvability.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
degrees of unsolvability, perspectives in mathematical logic, springer-verlag.
"degrees of unsolvability", perspectives in mathematical logic, springer-verlag.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
see chapter 8, section 8.2 "the unsolvability of the halting problem.
see chapter 8, section 8.2 "the unsolvability of the halting problem.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
chapter xiii ("computable functions") includes a discussion of the unsolvability of the halting problem for turing machines.
chapter xiii ("computable functions") includes a discussion of the unsolvability of the halting problem for turing machines.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
* martin davis (1958), "computability & unsolvability", mcgraw-hill book company, inc. new york.
* martin davis (1958), "computability & unsolvability", mcgraw-hill book company, inc. new york.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
)* marvin minsky 1961, "recursive unsolvability of post's problem of "tag" and other topics in theory of turing machines", "the annals of mathematics, 2nd ser., vol.
)* marvin minsky 1961, "recursive unsolvability of post's problem of "tag" and other topics in theory of turing machines", "the annals of mathematics, 2nd ser., vol.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent