Lingue
Resettare Categoria
Format
disponibilità
Autori

Risultato ricerca

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. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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
Christian Eichhorn - Rational Reasoning with Finite Conditional Knowledge Bases
Christian Eichhorn Rational Reasoning with Finite Conditional Knowledge Bases Inglese 07.02.2019 Tascabile Fr. 70.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
D. M. Gabbay, Dov M. Gabbay, Guenthner, Guenthner, F. Guenthner, F. (Ludwig-Maximilians Universitat) Guenthner... - Handbook of Philosophical Logic. Vol.14
D. M. Gabbay, Dov M. Gabbay, Guenthner, Guenthner, F. Guenthner, F. (Ludwig-Maximilians Universitat) Guenthner... Handbook of Philosophical Logic. Vol.14 Inglese 12.04.2011 Copertina rigida Fr. 238.00 6-7 settimane
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Luis Pinto et al... - Applied Semantics
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Luis Pinto et al... Applied Semantics Inglese 07.10.2002 Tascabile Fr. 70.00 6-7 settimane
Hernan Vera, Joe R Feagin, Joe R. Feagin, R Feagin, R Feagin, Herna Vera... - Handbook of the Sociology of Racial and Ethnic Relations
Hernan Vera, Joe R Feagin, Joe R. Feagin, R Feagin, R Feagin, Herna Vera... Handbook of the Sociology of Racial and Ethnic Relations Inglese 26.04.2011 Tascabile Fr. 70.00 6-7 settimane
Dov M. Gabbay, Guenthner, Guenthner, F. Guenthner, Franz Guenthner, Do M Gabbay... - Handbook of Philosophical Logic. Vol.14
Dov M. Gabbay, Guenthner, Guenthner, F. Guenthner, Franz Guenthner, Do M Gabbay... Handbook of Philosophical Logic. Vol.14 Inglese 20.10.2010 Tascabile Fr. 239.00 6-7 settimane
Johan G. Granström, Johan Georg Granström - Treatise on Intuitionistic Type Theory
Johan G. Granström, Johan Georg Granström Treatise on Intuitionistic Type Theory Inglese 08.08.2011 Copertina rigida Fr. 178.00 6-7 settimane
Johan Georg Granström - Treatise on Intuitionistic Type Theory
Johan Georg Granström Treatise on Intuitionistic Type Theory Inglese 20.08.2013 Tascabile Fr. 178.00 6-7 settimane
Rober Trypuz, Robert Trypuz - Krister Segerberg on Logic of Actions
Rober Trypuz, Robert Trypuz Krister Segerberg on Logic of Actions Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
Eric Pacuit - Neighborhood Semantics for Modal Logic
Eric Pacuit Neighborhood Semantics for Modal Logic Inglese 01.01.2017 Tascabile Fr. 56.90 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
Heinric Wansing, Heinrich Wansing - Dag Prawitz on Proofs and Meaning
Heinric Wansing, Heinrich Wansing Dag Prawitz on Proofs and Meaning Inglese 01.01.2014 Copertina rigida Fr. 135.00 6-7 settimane