Paula Gouveia – författare
Visar alla böcker från författaren Paula Gouveia. Handla med fri frakt och snabb leverans.
5 produkter
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Walter Carnielli, Marcelo Coniglio m. fl.
Inbunden, 2008
1636 kr
Lägg i varukorg
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The …
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Cristina Sernadas, Paula Gouveia m. fl.
E-bok, 2008
2044 kr
Lägg i varukorg
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The …
Elementos de Matematica Discreta
Av Jose Carmo, Paula Gouveia m. fl.
Häftad, 2013
300 kr
Lägg i varukorg
Logic and Computation
Essays in Honour of Amilcar Sernadas
Av Paula Gouveia, Carlos Caliero m. fl.
Häftad, 2017
272 kr
Lägg i varukorg
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Walter Carnielli, Marcelo Coniglio m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The …
