검색어: resolvedor (포르투갈어 - 영어)

resolvedor
resolver

resolvedor de cache
caching resolver

novamente, o militar é necessário, mas o militar não é um resolvedor de problemas.
now again, the military is necessary, but the military is no problem-solver.

essa fórmula asp convertida em preposições sat, aplicou o resolvedor sat,e depois converte a solução de volta para a forma asp.
these converted asp formula into sat propositions, applied the sat solver, and then converted the solutions back to asp form.

nascido como um “resolvedor de problemas” e a encarnação da paciência, sua vida é totalmente dedicada a educação e serviço aos pobres.
a born problem-solver and an incarnation of patience, his life is totally dedicated to education and serving the poor.

o uso de resolvedor de conjunto de repostas para busca foi identificado como um novo paradigma por marek e truszczynski em um artigo publicado na perspectiva de 25 anos no paradigma de lógica de programação, publicada em 1999 e em 1999.
the use of answer set solvers for search was identified as a new programming paradigm by marek and truszczyński in a paper that appeared in a 25-year perspective on the logic programming paradigm published in 1999and in 1999.

== exemplos ==== resolvedores ==o "resolvedor de urn" ("urn resolver") é responsável por interpretar uma urn dada ou consultas sobre urns, usualmente traduzindo o nome urn em um ou mais urls.
==examples====resolvers==a "urn resolver" is responsible for initiating and sequencing the queries that ultimately lead to a full resolution (translation) of a urn name or a "resolution request", e.g., a request for translation of a urn name into a url.