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