Risultato ricerca - Libri - CeDe.ch

Il tuo contatto a CeDe

Avete domande, suggerimenti, elogi o critiche? I vostri commenti ci aiutano a migliorare ulteriormente CeDe.ch. Saremo quindi lieti di ricevere i vostri messaggi e risponderemo con piacere a tutte le e-mail in modo rapido e competente. Grazie mille!

Questo sito utilizza i cookie. Leggi la nostra dichiarazione sulla privacy per saperne di più su come utilizziamo i cookie e su come puoi modificare le tue preferenze. OK

Servizio eccellente e spedizione gratuita dal 1997

Lista dei desideri

Risultato ricerca

Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Inglese 17.10.2017 Tascabile Esaurito

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications Inglese 30.10.2014 Tascabile Esaurito

Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models

Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models Inglese 21.10.2010 Tascabile Esaurito

Thomas Piecha, Peter Schroeder-Heister - Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics Inglese 04.11.2015 Copertina rigida Esaurito

Anna Horská - Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

Anna Horská Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals Inglese 06.11.2013 Tascabile Esaurito