Hoppa till sidans huvudinnehåll

Cristina Sernadas – författare

Visar alla böcker från författaren .
7 produkter
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas - Analysis and Synthesis of Logics, Inbunden

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

AvWalter Carnielli,Marcelo Conigliom. fl.

Inbunden, Engelska, 2008

2 099 kr

Skickas inom 10-15 vardagar

Amilcar Sernadas, Cristina Sernadas - Fundamentos De Logica E Teoria Da Computacao, Häftad

Fundamentos De Logica E Teoria Da Computacao

AvAmilcar Sernadas,Cristina Sernadas

Häftad, Portugisiska, 2012

309 kr

Skickas inom 5-8 vardagar

Amilcar Sernadas, Cristina Sernadas, João Rasga - Mathematical Primer on Computability, Häftad

Mathematical Primer on Computability

AvAmilcar Sernadas,Cristina Sernadasm. fl.

Häftad, Engelska, 2018

309 kr

Skickas inom 5-8 vardagar

Diogo Gomes, Amilcar Sernadas, Cristina Sernadas - Mathematical Primer on Linear Optimization, Häftad

Mathematical Primer on Linear Optimization

AvDiogo Gomes,Amilcar Sernadasm. fl.

Häftad, Engelska, 2019

279 kr

Skickas inom 5-8 vardagar

João Rasga, Cristina Sernadas - Decidability of Logical Theories and Their Combination, Inbunden

Decidability of Logical Theories and Their Combination

AvJoão Rasga,Cristina Sernadas

Inbunden, Engelska, 2020

839 kr

Skickas inom 10-15 vardagar

João Rasga, Cristina Sernadas - Decidability of Logical Theories and Their Combination, Häftad

Decidability of Logical Theories and Their Combination

AvJoão Rasga,Cristina Sernadas

Häftad, Engelska, 2021

839 kr

Skickas inom 10-15 vardagar

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas - Analysis and Synthesis of Logics, Häftad
Del 35 - Applied Logic Series

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

AvWalter Carnielli,Marcelo Conigliom. fl.

Häftad, Engelska, 2010

2 099 kr

Skickas inom 10-15 vardagar