Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
undefined type of a variable
no learned functions
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
etsi@ item undefined import field type
search
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
rec470bgogg theora cs tag value: undefined
rec470bg
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
vanhentuneet/ estetyt avaimet: undefined key trust
expired
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
kirjasto ei riipu ulkoisista symboleista (-no-undefined)
library does not depend on external symbols (-no-undefined)
Last Update: 2008-03-04
Usage Frequency: 2
Quality:
hän oli tutkinut yksinkertaistettuja menetelmiä, jotka johtuvat sen paradokseja (kuten richard ja russell) järjestelmien logiikka, jotka ovat ristiriidassa, ja se oli myös kehitetty menetelmä otetaan combinatory logiikka undefined käsitteet yleispätevyyttä, kuten määrällisiä rajoituksia tai muodollisen epäsuorasti, siten, että johdonmukaisuus lause, kuten siitä, että kirkon ja rosser voisi vielä saatu.
he had examined simplified methods of deriving the paradoxes (such as those of richard and russell ) in systems of logic which are inconsistent, and had also developed a method of introducing into combinatory logic undefined notions of generality, such as quantification or formal implication, in such a way that a consistency theorem like that of church and rosser could still be derived.