João Rasga – författare

Visar alla böcker från författaren João Rasga. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Mathematical Primer on Computability

   Av Amilcar Sernadas, Cristina Sernadas m. fl.

   Häftad, 2018

   236 kr

   Lägg i varukorg

2. 

   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 …

3. 

   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 …

4. 

   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 …