Intuitionistic Atomic Negation in Simple Conceptual Graphs

Rapport

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

2004

Fichiers et liens (1)

url

Find in HALAfficher

1 Consultations de la notice

Titre: Intuitionistic Atomic Negation in Simple Conceptual Graphs
Créateurs - sans rôle: Marie-Laure Mugnier - Graphs for Inferences on Knowledge
Michel Leclère - Graphs for Inferences on Knowledge
Colloque: Laboratoire d'Informatique, de Robotique et Microélectronique de Montpellier
Identifiants: 99152959009311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Report
Champs locaux: lirmm-00109212