Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
undefined type of a variable
no learned functions
Последнее обновление: 2011-10-23
Частота использования: 1
Качество:
etsi@ item undefined import field type
search
Последнее обновление: 2011-10-23
Частота использования: 1
Качество:
rec470bgogg theora cs tag value: undefined
rec470bg
Последнее обновление: 2011-10-23
Частота использования: 1
Качество:
vanhentuneet/ estetyt avaimet: undefined key trust
expired
Последнее обновление: 2011-10-23
Частота использования: 1
Качество:
kirjasto ei riipu ulkoisista symboleista (-no-undefined)
library does not depend on external symbols (-no-undefined)
Последнее обновление: 2008-03-04
Частота использования: 2
Качество:
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.