The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Sergei Artemov (editor) Anil Nerode (editor)
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
pdf
Author:
Sergei Artemov (editor) Anil Nerode (editor)
Language:
English
Year:
2021
0
0
13.02.2024
0
0
Read online
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
pdf
Author:
Sergei Artemov Melvin Fitting
Language:
English
Year:
2019
0
0
06.02.2024
0
0
Read online
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
pdf
Author:
Sergei Artemov Anil Nerode
Language:
English
Year:
2020
0
0
05.02.2024
0
0
Read online
Justification Logic: Reasoning with Reasons
pdf
Author:
Sergei Artemov
,
Melvin Fitting
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
pdf
Author:
Sergei Artemov Anil Nerode (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
pdf
Author:
Stefano Aguzzoli Simone Bova Vincenzo Marra (auth.) Sergei Artemov Anil Nerode (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
pdf
Author:
Sergei Artemov (auth.) Steffen Hölldobler Carsten Lutz Heinrich Wansing (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
pdf
Author:
Luca Aceto Anna Ingólfsdóttir (auth.) Sergei Artemov Anil Nerode (eds.)
Language:
English
Year:
2013
0
0
27.01.2024
0
0
Read online
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
pdf
Author:
Sergei Artemov (auth.) Steffen Hölldobler Carsten Lutz Heinrich Wansing (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
pdf
Author:
Stefano Aguzzoli Simone Bova Vincenzo Marra (auth.) Sergei Artemov Anil Nerode (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
0
0
Read online
1
2
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
