| Italian | English |
| dimostrazione di teoremi | theorem proving |
| dimostrazione e collaudo per l'accertamento dei livelli di qualità,affidabilità e conformità | quality,reliability,conformity testing and demonstrating |
| dimostrazione relativa ad informazioni di carattere europeo e informazioni multimediali | demonstration of European content and multimedia information |
| Programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione intitolato "La società dell'informazione di facile uso" | Specific programme for research, technological development and demonstration on a user-friendly information society |
| programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione nel settore delle applicazioni telematiche di interesse comune | specific programme for research and technological development, including demonstration in the field of telematics applications of common interest |
| programma specifico di ricerca, di sviluppo tecnologico e di dimostrazione nel settore delle tecnologie dell'informazione | specific programme for research and technological development, including demonstration, in the field of information technologies |
| sistema di verifica delle dimostrazioni | proof verification system |
| sistema esperto di dimostrazione | demonstration expert system |
