Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
| Imagen |  |
|---|---|
| Descripción | |
| Autoría |
autor: Nicola Olivetti Laura Giordano Valentina Gliozzi Gian Luca Pozzato |
| Fecha de publicación | 1 de abril de 2009 |
| Idioma | |
| País de origen | |
| Enlace a Wikipedia | |
| Estatus de derecho de autor | Private domain |
| ¿Datos faltantes/errados? | Editar ítem de Wikidata |