Translation of "prova do registo" to English language:
Examples (External sources, not reviewed)
| T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )). | T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )). |
| Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))). | In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))). |
| Um utilitário para registo do tempo. | A time tracker. |
| Registo | Registers |
| Registo | Restore |
| Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )). | In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )). |
| Abrir o ficheiro de registo do Valgrind | Open Valgrind log file |
| A Antevisão da Janela do Primeiro Registo | The First Sign Up Dialog Preview |
| Artigo 17.º Revogação do registo 1 . | Article 17 Withdrawal of registration 1 . |
| T prova que se T prova que ( P Q ) e T prova P então T prova Q . | T proves that if T proves that ( P Q ) and T proves P then T proves Q . |
| Registo ChangeLog | Changelog |
| Registo ChangeLog | ChangeLog entry |
| Registo abreviado | Short log |
| Registo Git | Git Log |
| Registo Abreviado | Short Log |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Mensagem de registo | Log message |
| Registo da depuração | Debugger Log |
| Mensagem de Registo | Log Message |
| Visualizar o registo | View log |
| Visualizar o Registo | View Log |
| Função de Registo | Register Function |
| Gravar registo Valgrind... | Save Valgrind log... |
| Data de registo | Time of recording |
| A prova do segundo teorema é obtida pela formalização da prova do primeiro teorema da incompletude dentro da própria teoria. | The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the theory itself. |
| Seleccione o ficheiro onde gravar o registo do Valgrind | Choose file where to save Valgrind log |
| Artigo 9º Actualização anual do documento de registo 1 . | Article 9 Annual updating of the registration document 1 . |
| 5.1 Regras de registo para operações do tipo 1 | 5.1 . Booking rules for transaction type 1 |
| Deixar de satisfazer as condições na origem do registo | no longer meets the conditions under which it was registered |
| Também se encontra disponível o registo áudio do encontro. | The audio of the meeting is also available. |
| Se faltar uma sucursal estrangeira , todos os elementos do registo devem ser inscritos no Relatório 2 ( isto é , como registo adicional ) . | If a foreign branch is missing , then the entire record details should be added to Report 2 ( i.e. as an additional record ) . |
| Data do registo O registo das transacções nas rubricas financeiras tem lugar quando o credor e o devedor procedem ao registo contabilístico , respectivamente , a crédito e a débito ( de acordo com o MBP5 ) . | Time of recording The recording of transactions in financial items takes place when both creditor and debtor enter the claim and liability , respectively , in their books ( in accordance with the BPM5 ) . |
| Prova Suave | Soft Proofing |
| Seleccione o ficheiro ou directório do qual obter o registo | Choose file or directory to get log |
| Seleccione o ficheiro ou directório do qual obter o registo | Choose file or directory to get log for |
| Um interface Qt4 para o ficheiro de registo do nmapsi4 | Is a Qt4 interface for nmapsi4 log |
| Especificar o nome de registo do ficheiro produzido pelo valgrind. | specify the log file name produced by valgrind |
| Denominação completa de registo da sociedade de gestão do FI . | The full , registered name of the IF 's management company . |
| Operações de registo git | Git log operations |
| Ler o registo Valgrind... | Load Valgrind log... |
| GTimeLog Registo de Tempos | GTimeLog Time Tracker |
| Arquivo , Biblioteca e Registo | Archives , Library Records |
| Olho e registo tudo. | I watch and record everything. |
| Artigo 8º Registo Os Estados Membros criarão um registo de todas as instituições de pagamento . | Article 8 Registration Member States shall establish a register of payment institutions . |
| A análise do passado não muito longínquo prova o . | An examination of the not too distant past should make that clear . |
Pesquisas relacionadas : Do Registo - Localização Do Registo - Conclusão Do Registo - Manutenção Do Registo - Requerente Do Registo - Posição Do Registo - Estatuto Do Registo - Titular Do Registo - Registo Do Navio - Recusa Do Registo - Código Do Registo - Registo Do Comércio - Capital Do Registo - Nome Do Registo
