Metadata
Author: cordis
Data
German[de]
Die Sprachschnittstelle von PROSPER unterstützt den Entwickler, indem sie englische Sätze automatisch in temporale Logik übersetzt.
English[en]
PROSPER's natural language interface assists designers by automatically translating English phrases into temporal logic.
Spanish[es]
La interfaz PROSPER de lenguaje natural ayuda a los diseñadores traduciendo automáticamente frases en lengua inglesa a la lógica temporal.
French[fr]
L'interface en langage naturel PROSPER aide les concepteurs en traduisant automatiquement des phrases en anglais en logique temporelle.
Italian[it]
L'interfaccia PROSPER di linguaggio naturale assiste i progettisti traducendo automaticamente la fraseologia inglese in logica temporale.