Hoppa till sidans huvudinnehåll

Sergei Artemov – författare

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

Justification Logic

Reasoning with Reasons

AvSergei Artemov,Melvin Fitting

Inbunden, Engelska, 2019

2 049 kr

Skickas inom 7-10 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2019

699 kr

Skickas inom 10-15 vardagar

Del 13137 - Lecture Notes in Computer Science

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2021

1 049 kr

Skickas

Del 9537 - Lecture Notes in Computer Science

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Del 10703 - Lecture Notes in Computer Science

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2008

699 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2012

699 kr

Skickas inom 10-15 vardagar