1 |
Interoperability between proof systems using the logical framework Dedukti ; Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03224039 ; Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩ (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Semantic Interoperability of Multilingual Lexical Resources in Lexical Linked Data ; Interopérabilité Sémantique Multi-lingue des Ressources Lexicales en Données Liées Ouvertes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01681358 ; Informatique et langage [cs.CL]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM067⟩ (2016)
|
|
BASE
|
|
Show details
|
|
3 |
Semantic Interoperability of Multilingual Lexical Resources as Lexical Linked Data ; Interopérabilité sémantique multilingue des ressources lexicales en données lexicales liées ouvertes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01425123 ; Intelligence artificielle [cs.AI]. Université Grenoble Alpes, 2016. Français (2016)
|
|
BASE
|
|
Show details
|
|
6 |
Help a brother out : a case study in multinational intelligence sharing, NATO SOF
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Schema Matching and Integration in Large Scale Scenarios ; Intégration de Schémas Large Echelle
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00352352 ; Computer Science [cs]. Université Montpellier II - Sciences et Techniques du Languedoc, 2008. English (2008)
|
|
BASE
|
|
Show details
|
|
9 |
Konzeption und Implementierung eines Enterprise Service Bus mit nativer Unterstützung von komplexen Message Exchange Patterns
|
|
Tost, Markus. - : Stuttgart, Germany, Universität Stuttgart, 2008
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2791/DIP-2791.pdf (2008)
|
|
BASE
|
|
Show details
|
|
|
|