Results for production of well formed exam... translation from English to Portuguese

=== formal proofs ===formal proofs are sequences of well-formed formulas.
=== prova formal ===provas formais são as sequencias de fbf's.

the production of these goods requires the adoption of measures of well-dosed incentives and protection to domestic industry.
a produção destes bens requer a adopção de medidas bem doseadas de incentivo e de protecção à indústria interna.

initially the production of well known historical journals, both national and foreign, was considered, into order to assist professors and researchers to overcome absences in university libraries.
foi considerada, de início, especialmente a produção dos periódicos consagrados à história, nacionais e estrangeiros, no sentido de proporcionar aos professores e pesquisadores uma contribuição que viesse suprir a carência das bibliotecas universitárias.

in medicine, for example in the production of insulin, this technology has been recognized for a long time.
na medicina, por exemplo, na produção de insulina, há muito que esta tecnologia foi reconhecida.

it will fall under the responsibility of the ministry of finance and be controlled by the parliament. a commission of well formed people will watch over the long term interests of the money system.
uma comissão de pessoas bem formadas velará pelos interesses a longo prazo do sistema de dinheiro.

they are also used in food and drink manufacturing and processing and in apparatus and vessel construction, for example in the production of biodiesel fuel.
além disso, esses materiais são utilizados na produção e no processamento de alimentos e bebidas, na fabricação de equipamentos e vasos como, por exemplo, na produção de biodiesel.

it is worth pointing out that production of alcohol by small agricultural distilleries is also undertaken in other member states for example in austria or poland, where producers do not receive any subsidies for alcohol or distillate.
É de referir que também existe produção de álcool em pequenas destilarias agrícolas noutros estados‑membros, como a Áustria ou a polónia, onde os produtores não recebem subsídios para o álcool ou destilados.

it is essentially a volume business where sufficient volumes are necessary to support the production of more value-added products in the same production chain, used for example in the lighting industry.
trata-se, essencialmente, de uma actividade em que o volume é importante, sendo necessários volumes suficientes para apoiar a produção de mais produtos de valor acrescentado na mesma cadeia de produção, utilizados por exemplo na indústria da iluminação.

another contradiction is to force down the production of alfalfa by the reduction of aid, for example in spain, when it makes the best quality fodder in europe with a higher protein content than fodder of the humid regions of the north.
por outro lado, a exigência de cofinanciamento das retiradas, realizadas a cargo do fundo, mantém uma situação discriminatória contra os produtos não incluídos no actual regime de preços e de intervenção.

the member states must establish a plan to take measures aimed at mitigating the environmental impact of the production of coal by production units to which aid is granted pursuant to this article, for example in the field of energy efficiency, renewable energy or carbon capture and storage.
os estados-membros elaboram um plano de medidas adequadas com o objectivo de minimizar o impacto ambiental da produção de carvão pelas unidades de produção a que são concedidos auxílios nos termos do presente artigo, por exemplo, no domínio da eficiência energética, das energias renováveis ou da captação e retenção de carbono.

in order to mitigate the environmental impact of the production of coal by coal production units to which closure aid is granted, the member states should establish a plan of appropriate measures, for example in the field of energy efficiency, renewable energy or carbon capture and storage.
a fim de minimizar o impacto ambiental da produção de carvão por parte de unidades de produção de carvão a que sejam concedidos auxílios dirigidos ao encerramento, os estados-membros deverão elaborar um plano de medidas adequadas, por exemplo, no domínio da eficiência energética, das energias renováveis ou da captação e retenção de carbono.

for example, in my own country, the united kingdom, the latest figures for 1983 showed that some 3 600 000 animals were used in that one year alone in experiments to help in the production of drugs and other products.
no meu país, o reino unido, por exemplo, os últimos números referentes a 1983 demonstravam que cerca de 3 600000 animais foram utilizados só nesse único ano em experiências auxiliares da produção de medicamentos e outros produtos.

=== formal proofs ===a "formal proof" is a sequence of well-formed formulas of a formal language, the last of which is a theorem of a formal system.
===provas formais===uma prova formal é uma sequência de fórmulas bem formadas de uma linguagem formal, a última da qual é um teorema de sistemas formais.

even if the impact of the eu, with 14% of the world co2 emissions, remains limited, the eu has to set an example in this field by implementing a strong policy aimed at significantly reducing the production of these gases.
embora o impacto da ue, com 14% das emissões mundiais de co2, se mantenha limitado, ela tem a obrigação de dar o exemplo neste domínio pondo em prática uma política forte com o objectivo de diminuir sensivelmente a produção desses gases.

the idea is also to promote more environmentally friendly products and processes, for example in the italian regions of puglia, where the sprind business and innovation centre is developing quality labelling, and molise, with experimentation in the organic production of spelt and a computerised mapping system for pasture management.
trata-se, também, de promover produtos ou procedimentos mais favoráveis ao ambiente, como em itália, onde o «business and innovation center» apúlia-sprind desenvolve selos de qualidade, ou na região de molise (experimentação da cultura bioló­gica de espelta e sistema cartográfico informatizado para gestão das pastagens).

for example, in portugal, both in the north and central regions of the mainland and in the autonomous region of the azores, any dismantling of the milk quota system would hinder rural development and would impoverish vast areas in which the production of milk and other dairy production is the main activity.
por exemplo, em portugal, seja nas regiões do norte e centro do país, seja na região autónoma dos açores, o eventual desmantelamento do sistema de quotas de leite bloquearia o desenvolvimento rural e condenaria à pobreza vastas zonas onde a produção de leite e seus derivados é a actividade dominante.

hemp falling within cn code 5302 has found some new industrial uses, for example in insulating panels or in brick manufacture, without there being a need, in certain cases, to separate the fibre from the woody portion of the stalk. this is a non-food use meeting the objectives of commission regulation (ec) no 2461/1999 of 19 november 1999 laying down detailed rules for the application of council regulation (ec) no 1251/1999 as regards the use of land set aside for the production of raw materials for the manufacture within the community of products not primarily intended for human consumption(3), as last amended by regulation (ec) no 2555/2000(4).
o cânhamo do código nc 5302 pode ser utilizado para determinadas novas utilizações industriais, nomeadamente em painéis de isolamento ou no fabrico de tijolos, sem necessidade, em certos casos, de separar a fibra da parte lenhosa do caule, o que constitui uma utilização não alimentar em conformidade com o objectivo do regulamento (ce) n.o 2461/1999 da comissão, de 19 de novembro de 1999, que estabelece normas de execução do regulamento (ce) n.o 1251/1999 do conselho no que respeita à utilização de terras retiradas para a produção de matérias-primas destinadas ao fabrico, na comunidade, de produtos não destinados directamente ao consumo humano(3), com a última redacção que lhe foi dada pelo regulamento (ce) n.o 2555/2000(4).