Intuitionistic Atomic Negation in Simple Conceptual Graphs

Marie-Laure Mugnier 1 Michel Leclère 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Type de document :
Rapport
04004, 2004, pp.15
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109212
Contributeur : Christine Carvalho de Matos <>
Soumis le : mardi 24 octobre 2006 - 07:41:55
Dernière modification le : mercredi 12 décembre 2018 - 14:38:02

Identifiants

  • HAL Id : lirmm-00109212, version 1

Collections

Citation

Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 04004, 2004, pp.15. 〈lirmm-00109212〉

Partager

Métriques

Consultations de la notice

68