Intuitionistic Atomic Negation in Simple Conceptual Graphs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Reports Year : 2004

Intuitionistic Atomic Negation in Simple Conceptual Graphs

No file

Dates and versions

lirmm-00109212 , version 1 (24-10-2006)

Identifiers

  • HAL Id : lirmm-00109212 , version 1

Cite

Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 04004, 2004, pp.15. ⟨lirmm-00109212⟩
58 View
0 Download

Share

More