Structures multi-contextuelles et logiques modales intuititionnistes et hybrides
En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement....
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2010NAN10087/document |