A Reflective Proof System for Reasoning in Contexts.

Détails

Demande d'une copieDemande d'une copie
ID Serval
serval:BIB_1772
Type
Article: article d'un périodique ou d'un magazine.
Collection
Publications
Institution
UNIL/CHUV
Titre
A Reflective Proof System for Reasoning in Contexts.
Périodique
Proceedings of the 14th National Conference on Artificial Intelligence (AAAI 97), Providence, RI
Auteur⸱e⸱s
Bonzon P
Statut éditorial
Publié
Date de publication
1997
OAI-PMH
oai:serval.unil.ch:BIB_1772
Création de la notice
19/11/2007 10:39
Dernière modification de la notice
20/08/2019 13:47
Données d'usage