Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
combinatorische logica is de basis voor een bepaalde stijl van functionele programeertalen en de kracht van combinatorische logica is vergelijkbaar met de lambdacalculus van alonzo church.
the power and scope of combinatory logic is quite similar to that of the lambda calculus of alonzo church, and the latter formalism has tended to predominate in recent decades.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
dit maakt het duidelijker voor de lezer om te begrijpen wat een programma werkelijk doet, en kan relatief eenvoudig omgezet worden naar een echte programeertaal.
this then can be converted relatively easy to a real programming language.
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade: