Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Artemov, Sergei Nikolaevich
29  Ergebnisse:
Personensuche X
?
1

Gregory Samuilovich Tseytin (obituary):

Artemov, Sergei Nikolaevich ; Beklemishev, Lev Dmitrievich ; Borkin, L Ya...
Russian Mathematical Surveys.  78 (2023)  3 - p. 555-561 , 2023
Link: https://doi.org/10.4213/..
 
?
2

Microfluidically Assisted Synthesis of Calcium Carbonate Su..:

Ermakov, Alexey V. ; Chapek, Sergei V. ; Lengert, Ekaterina V....
Micromachines.  15 (2023)  1 - p. 16 , 2023
Link: https://doi.org/10.3390/..
 
?
3

Development of a method for evaluation of the efficiency of..:

Dorokhin, Sergei ; Ivannikov, Valery ; Likhachev, Dmitry...
E3S Web of Conferences.  376 (2023)  - p. 04016 , 2023
Link: https://doi.org/10.1051/..
 
?
4

Logical Foundations of Computer Science: International Symp.. 

Theoretical Computer Science and General Issues, 13137
Artemov, Sergei ; Nerode, Anil - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
5

Logical Foundations of Computer Science: International Symp.. 

Theoretical Computer Science and General Issues, 11972
Artemov, Sergei ; Nerode, Anil - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
6

Structural and magnetic properties of Ni-Fe nanowires in th..:

Frolov, Kirill V. ; Chuev, Mikhail A. ; Lyubutin, Igor S....
Journal of Magnetism and Magnetic Materials.  489 (2019)  - p. 165415 , 2019
Link: https://doi.org/10.1016/..
 
?
7

Logical Foundations of Computer Science 

International Symposium, LFCS 2018, Deerfield Beach, FL, US...  Lecture Notes in Computer Science ; 10703;Theoretical Computer Science and General Issues ; 10703;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Artemov, Sergei ; Nerode, Anil , 2018
Link: https://doi.org/10.1007/..
 
?
8

Logical Foundations of Computer Science 

International Symposium, LFCS 2016, Deerfield Beach, FL, US...  Lecture Notes in Computer Science ; 9537;Theoretical Computer Science and General Issues ; 9537;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Artemov, Sergei ; Nerode, Anil - 1st ed. 2016 . , 2016
Link: https://doi.org/10.1007/..
 
?
9

Logical Foundations of Computer Science 

International Symposium, LFCS 2013, San Diego, CA, USA, Jan...  Lecture Notes in Computer Science ; 7734;SpringerLink, Bücher
Artemov, Sergei ; Nerode, Anil , 2013
Link: https://doi.org/10.1007/..
 
?
10

Discovering knowability: a semantic analysis:

Artemov, Sergei ; Protopopescu, Tudor
Synthese.  190 (2013)  16 - p. 3349-3376 , 2013
Link: https://www.jstor.org/st..
 
?
11

The Dnepr Canyon: evidence for a continuous submarine chann..:

Gulin, Sergei B. ; Artemov, Yuriy G. ; Egorov, Viktor N..
Geo-Marine Letters.  33 (2013)  4 - p. 319-324 , 2013
Link: https://doi.org/10.1007/..
 
?
12

The Ontology of Justifications in the Logical Setting:

Artemov, Sergei N.
Studia Logica: An International Journal for Symbolic Logic.  100 (2012)  1/2 - p. 17-30 , 2012
Link: https://www.jstor.org/st..
 
?
13

Discovering knowability: a semantic analysis:

Artemov, Sergei ; Protopopescu, Tudor
Synthese.  190 (2012)  16 - p. 3349-3376 , 2012
Link: https://doi.org/10.1007/..
 
?
14

Symposium on Computer Science 

Theory of computing systems ; 46.2010,4, Special issue
Artemov, Sergei ; Razborov, Alexander ; Diekert, Volker , 2010
Exemplar:  Zentrale:Magazin Zs fc 3984-46
 
?
15

Symposium on Computer Science 

[... selected papers from the 2nd International Symposium o...  Theory of computing systems ; 46.2010,1, Special issue
Artemov, Sergei ; Grigoriev, Dima ; Diekert, Volker , 2010
Exemplar:  Zentrale:Magazin Zs fc 3984-46
 
1-15