Automated reasoning techniques for hybrid logics

Daniel Gorin 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Autre publication
PhD Thesis in cotutelle between the Université Henri Poincaré and the Universidad de Buenos Aires. 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00437468
Contributeur : Areces Carlos <>
Soumis le : lundi 30 novembre 2009 - 16:18:55
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35

Identifiants

  • HAL Id : inria-00437468, version 1

Collections

Citation

Daniel Gorin. Automated reasoning techniques for hybrid logics. PhD Thesis in cotutelle between the Université Henri Poincaré and the Universidad de Buenos Aires. 2009. 〈inria-00437468〉

Partager

Métriques

Consultations de la notice

103