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 949 kr

Skickas inom 7-10 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

719 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 059 kr

Skickas måndag 1/12

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

739 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

739 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

739 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

719 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

719 kr

Skickas inom 10-15 vardagar