Z-Library پر تلاش کریں S. ARTEMOV:

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

کتابیں (17)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Justification Logic: Reasoning with Reasons

Justification Logic: Reasoning with Reasons

Cambridge University Press

Sergei Artemov, Melvin Fitting

سال:

2019

زبان:

english

فائل:

PDF, 1.26 MB

0 / 0

english, 2019

2

Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)

Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)

Cambridge University Press

Sergei Artemov, Melvin Fitting

سال:

2019

زبان:

english

فائل:

PDF, 1.08 MB

0 / 0

english, 2019

3

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

سال:

2018

زبان:

english

فائل:

PDF, 7.00 MB

0 / 0

english, 2018

4

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 4.32 MB

0 / 0

english, 2013

5

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

سال:

2016

زبان:

english

فائل:

PDF, 8.83 MB

0 / 0

english, 2016

6

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 6.28 MB

0 / 0

english, 2007

7

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 5.83 MB

0 / 0

english, 2008

8

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 8.34 MB

0 / 0

english, 2007

9

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 7.65 MB

0 / 0

english, 2009

10

Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science

S. ABRAMSKY, S. ARTEMOV, J. BARWISE, H.J. KEISLER, A.S. TROELSTRA

زبان:

english

فائل:

PDF, 45.56 MB

0 / 5.0

english

11

Explicit Provability and Constructive Semantics

Explicit Provability and Constructive Semantics

زبان:

english

فائل:

PDF, 1.46 MB

0 / 0

english

12

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Sergei Artemov (editor), Anil Nerode (editor)

سال:

2021

زبان:

english

فائل:

PDF, 6.51 MB

0 / 0

english, 2021

13

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode

سال:

2020

زبان:

english

فائل:

PDF, 6.85 MB

0 / 0

english, 2020

14

Logical Foundations of Computer Science, LFCS 2020

Logical Foundations of Computer Science, LFCS 2020

Sergei Artemov, Anil Nerode

سال:

2020

زبان:

english

فائل:

PDF, 4.19 MB

0 / 0

english, 2020

15

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 4.67 MB

0 / 0

english, 2008

16

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 6.01 MB

0 / 0

english, 2009

17

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

سال:

1997

زبان:

english

فائل:

DJVU, 3.07 MB

0 / 0

english, 1997