Skip to Main content Skip to Navigation
Other publications

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
Document type :
Other publications
Complete list of metadata

https://hal.inria.fr/inria-00437468
Contributor : Areces Carlos <>
Submitted on : Monday, November 30, 2009 - 4:18:55 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00437468, version 1

Collections

Citation

Daniel Gorin. Automated reasoning techniques for hybrid logics. 2009. ⟨inria-00437468⟩

Share

Metrics

Record views

122