Hoppa till sidans huvudinnehåll

Sergei Artemov - Böcker

Visar alla böcker från författaren Sergei Artemov.
8 produkter
Del 216 - Cambridge Tracts in Mathematics

Justification Logic

Reasoning with Reasons

Av Sergei Artemov, Melvin Fitting

Inbunden, Engelska, 2019

1 969 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2021

1 049 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Av Sergei Artemov, Anil Nerode

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar