Formal Methods for Nonmonotonic and Related Logics
-15%
portes grátis
Formal Methods for Nonmonotonic and Related Logics
Vol I: Preference and Size
Schlechta, Karl
Springer International Publishing AG
11/2018
335
Dura
Inglês
9783319896526
15 a 20 dias
717
Descrição não disponível.
Preferential Structures.- Higher Preferential Structures.- Abstract Size.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Methods;Nonmonotonic Logic;Structural Semantics;Theory Revision;Definability Preservation;Theory Update;Neighborhood Semantics;Systems;Continuous Logic
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
