Il y a 16 Résultats pour : "logique"
- ATOLL - Atelier d'outils logiciels pour le langage naturel
- CALLIGRAMME - Logique linéaire, réseaux de démonstration et grammaires catégorielles
- CONTRAINTES - Programmation par contraintes
- CONVECS - Construction de systèmes concurrents vérifiés
- COQ - Spécifications et preuves de programmes
- DYLISS - Dynamics, Logics and Inference for biological Systems and Sequences
- FOCUS - Foundations of Component-based Ubiquitous Systems
- LANDE - Conception et validation de logiciels
- LOCO - Programmation en LOgique avec COntraintes
- MOSTRARE - modèles de structures arborescentes, apprentissage et extraction d'information
- REPCO - Représentation des connaissances
- SECSI - Sécurité des systèmes d'information
- SIGNES - Signes linguistiques, grammaire et sens: algorithmique logique de la langue
- SPECTRE - Spécification et programmation des systèmes communicants et temps réel
- TALARIS - Traitement Automatique des Langues : représentation, inférence et sémantique
- VASY - Validation de systèmes, recherche et application
Inria
Inria.fr
Inria Channel