Sprache
Zurücksetzen Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 01.01.2018 Fester Einband Fr. 179.00 6-7 Wochen
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 07.10.2002 Taschenbuch Fr. 70.00 6-7 Wochen
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 23.02.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Heinric Wansing, Heinrich Wansing - Dag Prawitz on Proofs and Meaning
Heinric Wansing, Heinrich Wansing Dag Prawitz on Proofs and Meaning Englisch 01.01.2016 Taschenbuch Fr. 135.00 6-7 Wochen
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Englisch 28.02.2018 Fester Einband Fr. 70.00 6-7 Wochen