A Reflective Proof System for Reasoning in Contexts
| Data(s) |
1997
|
|---|---|
| Identificador |
http://serval.unil.ch/?id=serval:BIB_5E5D65EF7D86 http://my.unil.ch/serval/document/BIB_5E5D65EF7D86.pdf http://nbn-resolving.org/urn/resolver.pl?urn=urn:nbn:ch:serval-BIB_5E5D65EF7D864 |
| Idioma(s) |
en |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Proc. 14th National Conference on Artificial Intelligence (AAAI 97), Providence, RI |
| Tipo |
info:eu-repo/semantics/conferenceObject inproceedings |
