Skip to Main content Skip to Navigation
New interface


...
tel-00507482v1  Theses
Thi-Dieu-Thu Nguyen. A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English
...
tel-00004714v2  Theses
Jérôme Euzenat. Un système de maintenance de la vérité à propagation de contextes
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1990. Français
...
tel-00553219v1  Theses
Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
...
tel-00782557v1  Theses
Freddy Lécué. Composition de Services Web: Une Approche basée Liens Sémantiques
Web. Ecole Nationale Supérieure des Mines de Saint-Etienne, 2008. Français. ⟨NNT : 2008EMSE0027⟩
...
tel-00004862v1  Habilitation à diriger des recherches
Dongming Wang. Méthodes d'élimination et applications
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1999
...
tel-03560564v1  Theses
Quentin Garchery. Certification de la transformation de tâches de preuve
Logique en informatique [cs.LO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG006⟩
...
tel-00484886v1  Theses
A. Helmy. Mise en œuvre de techniques de démonstration automatique pour la vérification formelle des NoCs
Micro et nanotechnologies/Microélectronique. Institut National Polytechnique de Grenoble - INPG, 2010. Français
...
tel-02427371v1  Theses
Martin Bromberger. Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. English
...
tel-01094980v1  Habilitation à diriger des recherches
Stéphane Graham-Lengrand. Polarities & Focussing: a journey from Realisability to Automated Reasoning
Logic in Computer Science [cs.LO]. Paris-Sud XI, 2014
...
tel-01968404v1  Habilitation à diriger des recherches
Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project
Logic in Computer Science [cs.LO]. Université de lorraine, 2018
...
tel-03716897v1  Theses
Romain Wallon. Pseudo-Boolean Reasoning and Compilation
Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English
...
tel-02886382v1  Theses
Valentin Montmirail. Practical resolution of satisfiability testing for modal logics
Computer Science [cs]. Université d'Artois, 2018. English
...
tel-01856199v2  Theses
Cristina Serban. Automated Reasoning in Separation Logic with Inductive Definitions
Computer Science [cs]. Verimag, Université Grenoble Alpes, 2018. English
...
tel-02273482v1  Theses
N. Ben Rabah. APPROCHE INTELLIGENTE À BASE DE RAISONNEMENT À PARTIR DE CAS POUR LE DIAGNOSTIC EN LIGNE DES SYSTÈMES AUTOMATISÉS DE PRODUCTION
Intelligence artificielle [cs.AI]. UNIVERSITÉ DE REIMS CHAMPAGNE-ARDENNE et UNIVERSITÉ DE LA MANOUBA, 2018. Français
...
tel-01157230v1  Theses
Guillaume Scerri. Proof of security protocols revisited
Cryptography and Security [cs.CR]. École normale supérieure de Cachan - ENS Cachan, 2015. English. ⟨NNT : 2015DENS0002⟩