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

Intuitionistic Atomic Negation in Simple Conceptual Graphs

No file

Dates and versions

lirmm-00106620 , version 1 (16-10-2006)

Identifiers

  • HAL Id : lirmm-00106620 , version 1

Cite

Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 05015, 2005, 6 p. ⟨lirmm-00106620⟩
91 View
0 Download

Share

Gmail Facebook X LinkedIn More