| Portuguese | Italian |
| demonstração automática de teoremas | prova automatica di teoremi |
| demonstração de informação de conteúdo europeu e multimédia | dimostrazione relativa ad informazioni di carattere europeo e informazioni multimediali |
| demonstração de teoremas | dimostrazione di teoremi |
| demonstração por redução ao absurdo | risoluzione |
| ensaio de demonstração | verifica dimostrativa |
| programa específico de investigação, de desenvolvimento tecnológico e demonstração, no domínio das tecnologias da informação | programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione nel settore delle tecnologie dell'informazione |
| programa específico de investigação, desenvolvimento tecnológico e demonstração no domínio das aplicações telemáticas de interesse comum | programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione nel settore delle applicazioni telematiche di interesse comune |
| Programa específico de investigação, desenvolvimento tecnológico e demonstração, no domínio das tecnologias da informação | Programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione nel settore delle tecnologie dell'informazione |
| Programa específico de investigação, desenvolvimento tecnológico e demonstração no domínio "Sociedade da informação convivial" | Programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione intitolato "La società dell'informazione di facile uso" |
| teste e demonstração de qualidade,de fiabilidade e de conformidade | dimostrazione e collaudo per l'accertamento dei livelli di qualità,affidabilità e conformità |
| versão de demonstração | versione campione |
