Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
najnowszy projekt dr friedricha to przewodnik po gdańsku dla dzieci.
his most recent project is a guide to gdańsk for children.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
w xvii wieku lwów, liczący 30 tysięcy mieszkańców, był po gdańsku drugim co do wielkości miastem rzeczypospolitej.kita - miasto w mali, w regionie kayes.takiego jak .na język rachunku kombinatorów składają się kombinator stały k, kombinator rodzielonej aplikacji s, oraz kombinatory aplikacji złożone z pary dowolnych kombinatorów - funkcji i argumentu:* σ = s _ k _ (σ σ)derywacją rządzą dwie reguły:* ((k α) β) → α* (((s α) β) γ) → ((α γ) (β γ))gdzie α, β i γ to dowolne kombinatory.
in the 17th century lviv/lwów was the second biggest city of poland-lithuania; with the population of 30,000.the town is the capital of the kita cercle in the kayes region.see also ."x"])) (by 3):: = (s (k (s i)) (s (k k) i)) (by 4)if we apply this combinator to any two terms "x" and "y", itreduces as follows:: (s (k (s i)) (s (k k) i) x y):: = (k (s i) x (s (k k) i x) y):: = (s i (s (k k) i x) y):: = (i y (s (k k) i x y)):: = (y (s (k k) i x y)):: = (y (k k x (i x) y)):: = (y (k (i x) y)):: = (y (i x)):: = (y x)the combinatory representation, (s (k (s i)) (s (k k) i)) is muchlonger than the representation as a lambda term, "λx"."λy".
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
Несколько пользовательских переводов с низким соответствием были скрыты.
Показать результаты с низким соответствием.