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

Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... - Ewa Orlowska on Relational Methods in Logic and Computer Science

Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... Ewa Orlowska on Relational Methods in Logic and Computer Science Inglese 01.01.2018 Copertina rigida Fr. 179.00 6-7 settimane

Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability

Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane

David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics

David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane

Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... - Applied Semantics

Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... Applied Semantics Inglese 07.10.2002 Tascabile Fr. 70.00 6-7 settimane

Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems

Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems Inglese 23.02.2005 Tascabile Fr. 70.00 6-7 settimane

Heinric Wansing, Heinrich Wansing - Dag Prawitz on Proofs and Meaning

Heinric Wansing, Heinrich Wansing Dag Prawitz on Proofs and Meaning Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane

Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability

Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Inglese 28.02.2018 Copertina rigida Fr. 70.00 6-7 settimane