Sergei Artemov – författare

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

8 produkter

Kategorier

8 produkter

Del 216
Del 216 - Cambridge Tracts in Mathematics
Justification Logic
Reasoning with Reasons
AvSergei Artemov,Melvin Fitting
Inbunden, Engelska, 2019
2 529 kr
Skickas inom 5-8 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
719 kr
Skickas inom 10-15 vardagar
Del 13137
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 079 kr
Skickas inom 10-15 vardagar
Del 9537
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
739 kr
Skickas inom 10-15 vardagar
Del 10703
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
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
AvSergei 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
AvSergei 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
AvSergei Artemov,Anil Nerode
Häftad, Engelska, 2012
719 kr
Skickas inom 10-15 vardagar