Cristina Sernadas – författare
Visar alla böcker från författaren Cristina Sernadas. Handla med fri frakt och snabb leverans.
9 produkter
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Walter Carnielli, Marcelo Coniglio m. fl.
Inbunden, 2008
1641 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 …
Fundamentos De Logica E Teoria Da Computacao
Av Amilcar Sernadas, Cristina Sernadas
Häftad, 2012
243 kr
Lägg i varukorg
Mathematical Primer on Computability
Av Amilcar Sernadas, Cristina Sernadas m. fl.
Häftad, 2018
236 kr
Lägg i varukorg
Mathematical Primer on Linear Optimization
Av Diogo Gomes, Amilcar Sernadas m. fl.
Häftad, 2019
215 kr
Lägg i varukorg
Decidability of Logical Theories and Their Combination
Av João Rasga, Cristina Sernadas
Inbunden, 2020
660 kr
Lägg i varukorg
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order …
Decidability of Logical Theories and Their Combination
Av Cristina Sernadas, Joao Rasga
E-bok, 2020
897 kr
Lägg i varukorg
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order …
Decidability of Logical Theories and Their Combination
Av João Rasga, Cristina Sernadas
Häftad, 2021
660 kr
Lägg i varukorg
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order …
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Walter Carnielli, Marcelo Coniglio m. fl.
Häftad, 2010
1641 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 …
