Sergei Artemov – författare

Visar alla böcker från författaren Sergei Artemov.

8 produkter

1. 

   Justification Logic

   Reasoning with Reasons

   Av Sergei Artemov, Melvin Fitting

   Inbunden, 2019

   2579 kr

   Lägg i varukorg

2. 

   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, 2019

   709 kr

   Lägg i varukorg

3. 

   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, 2021

   1059 kr

   Lägg i varukorg

4. 

   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, 2015

   729 kr

   Lägg i varukorg

5. 

   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, 2017

   729 kr

   Lägg i varukorg

6. 

   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, 2007

   729 kr

   Lägg i varukorg

7. 

   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, 2008

   709 kr

   Lägg i varukorg

8. 

   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, 2012

   709 kr

   Lägg i varukorg