A Reflective Proof System for Reasoning in Contexts
Détails
Etat: Public
Version: de l'auteur⸱e
ID Serval
serval:BIB_5E5D65EF7D86
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
A Reflective Proof System for Reasoning in Contexts
Titre de la conférence
Proc. 14th National Conference on Artificial Intelligence (AAAI 97), Providence, RI
Statut éditorial
Publié
Date de publication
1997
Langue
anglais
Création de la notice
23/02/2009 15:24
Dernière modification de la notice
20/08/2019 15:16
Données d'usage
