Intuitionistic Atomic Negation in Simple Conceptual Graphs

Report

Marie-Laure Mugnier and Michel Leclère

Laboratoire d'Informatique, de Robotique et Microélectronique de Montpellier

2005

Files and links (1)

url

Find in HALView

1 Record Views

Title: Intuitionistic Atomic Negation in Simple Conceptual Graphs
Creators - without role: Marie-Laure Mugnier - Graphs for Inferences on Knowledge
Michel Leclère - Graphs for Inferences on Knowledge
Conference: Laboratoire d'Informatique, de Robotique et Microélectronique de Montpellier
Identifiers: 9935919109311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Report
Local Fields: lirmm-00106620