Raamatud Cristina Sernadas
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Dov M. Gabbay, Cristina Sernadas, Paula Gouveia, Marcelo Coniglio, Walter Carnielli
-30% koodiga BOOKS
Meie tarnija laos
A Mathematical Primer on Computability
João Rasga, Amilcar Sernadas, Cristina Sernadas
-30% koodiga BOOKS
Meie tarnija laos
A Mathematical Primer on Linear Optimization
Diogo Gomes, Cristina Sernadas, Amilcar Sernadas
-30% koodiga BOOKS
Meie tarnija laos
Decidability of Logical Theories and Their Combination
-30% koodiga BOOKS
Meie tarnija laos
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Dov M Gabbay, Cristina Sernadas, Paula Gouveia, Marcelo Coniglio, Walter Carnielli
-30% koodiga BOOKS
Meie tarnija laos