Sergei Artemov – författare
Visar alla böcker från författaren Sergei Artemov. Handla med fri frakt och snabb leverans.
16 produkter
Justification Logic
Reasoning with Reasons
Av Sergei Artemov, Melvin Fitting
Inbunden, 2019
1987 kr
Lägg i varukorg
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the …
Justification Logic
Reasoning with Reasons
Av Melvin Fitting, Sergei Artemov
E-bok, 2019
1910 kr
Lägg i varukorg
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the …
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
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2019
710 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is …
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
824 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2021
1059 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is …
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
568 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from 46 submissions. The scopeof the Symposium is broad …
Logical Foundations of Computer Science
International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2015
755 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from 46 submissions. The scopeof the Symposium is broad …
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
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is …
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
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2007
718 kr
Lägg i varukorg
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
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects …
Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2009
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects …
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
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is …
