Maslov, S. I︠U︡. (Sergeĭ I︠U︡rʹevich)
Maslov, Sergej Ûr'evič.
Maslov, S. I︠U︡.
Maslov, Sergeĭ I︠U︡rʹevich
Maslov, Sergei Yurevich, 1939-1982
Sergey Yuryevich Maslov
Maslov, S. Ju. (Sergej Jurʹevič)
Маслов, Сергей Юрьевич 1939-1982
Maslov, Sergej Jurʹevič 1939-1982
Maslov, Sergej Jur'jevič, 1939-1982
Maslov, S.Yu.
VIAF ID: 48247351 ( Personal )
Permalink: http://viaf.org/viaf/48247351
Preferred Forms
- 100 1 _ ‡a Maslov, S. I︠U︡.
- 100 1 _ ‡a Maslov, S. I︠U︡. ‡q (Sergeĭ I︠U︡rʹevich)
-
- 100 1 _ ‡a Maslov, S. I︠U︡. ‡q (Sergeĭ I︠U︡rʹevich)
-
-
- 100 1 _ ‡a Maslov, Sergei Yurevich, ‡d 1939-1982
-
- 100 1 _ ‡a Maslov, Sergej Jurʹevič ‡d 1939-1982
-
-
-
- 100 0 _ ‡a Sergey Yuryevich Maslov
-
4xx's: Alternate Name Forms (21)
Works
Title | Sources |
---|---|
Computability | |
Eleven papers on logic, algebra, analysis and topology | |
Five papers on logic and foundations | |
Issledovaniâ po teorii dokazatel'stv : sbornik statej | |
Issledovanija po slavjanskomu jazykoznaniju | |
Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem | |
Statistical physics of complex networks : from living cells to the internet | |
"Summa" za svobodnui︠u︡ myslʹ, 2002: | |
Symbolic logic and mechanical theorem proving | |
Teoretičeskie primeneniâ metodov matematičeskoj logiki : sbornik rabot. | |
Teorii︠a︡ deduktivnykh sistem i ee primenenii︠a︡. | |
Theory of deductive systems and its applications | |
Vyčislimost' vvedenie v teoriû rekursivnyh funkcij | |
Zur Entstehungsgeschichte des slavischen Verbalaspektes | |
Математическая логика и автоматическое доказательство теорем | |
Теория дедуктивных систем и ее применения |