Il libro è attualmente esaurito
Parametri
Maggiori informazioni sul libro
These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.
Acquisto del libro
Logical tools for handling change in agent based systems, Dov M. Gabbay
- Lingua
- Pubblicato
- 2010
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.