Knygos pagal 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
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Mathematical Primer on Computability
João Rasga, Amilcar Sernadas, Cristina Sernadas
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Mathematical Primer on Linear Optimization
Diogo Gomes, Cristina Sernadas, Amilcar Sernadas
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Decidability of Logical Theories and Their Combination
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Dov M Gabbay, Cristina Sernadas, Paula Gouveia, Marcelo Coniglio, Walter Carnielli
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją