Model theoretical investigation of theorem proving methods von Gergely, T., Vershinin, K. P.

Volltext

Natural mathematical texts VS. programs von Gergely, T., Vershinin, K. P.

Volltext

Strategies of the search for derivation of statements with restricted quantifiers von Vershinin, K. P., Morokhovets, M. K.

Volltext

Relationship between formal language of mathematical theories and axiomatic systems of the theory of sets von Vershinin, K. P.

Volltext

Remarks on formal languages for writing proofs von Vershinin, K. P.

Volltext

Construction of a practical formal language for mathematical theories von Glushkov, V. M., Kapitonova, Yu. V., Letichevskii, A. A., Vershinin, K. P., Malevanyi, N. P.

Volltext

Mechanical stochastic tug-of-war models cannot explain bidirectional lipid-droplet transport von Kunwar, Ambarish, Tripathy, Suvranta K, Xu, Jing, Mattson, Michelle K, Anand, Preetha, Sigua, Roby, Vershinin, Michael, McKenney, Richard J, Yu, Clare C, Mogilner, Alexander, Gross, Steven P

Volltext

Specific Features of Structural Stresses in InGaN/GaN Nanowires von Soshnikov, I. P., Kotlyar, K. P., Reznik, R. R., Gridchin, V. O., Lendyashova, V. V., Vershinin, A. V., Lysak, V. V., Kirilenko, D. A., Bert, N. A., Cirlin, G. E.

Volltext

ZnO thin films synthesis by RF magnetron sputtering deposition von Gridchin, V.O., Kotlyar, K.P., Vershinin, A.V., Kryzhanovskaya, N.V., Pirogov, E.V., Semenov, A.A., Belyavskiy, P.Y., Nashchekin, A.V., Cirlin, G.E., Soshnikov, I.P.

Volltext

Glacier dynamics in the southern part of East Siberia (Russia) from the final part of the LGM to the present based on from biogeochemical proxies from bottom sediments of proglacia... von Stepanova, O.G., Trunova, V.A., Osipov, E. Yu, Kononov, E.E., Vorobyeva, S.S., Parkhomchuk, E.V., Kalinkin, P.N., Vorobyeva, E.E., Vershinin, K.E., Rastigeev, S.A., Fedotov, A.P.

Volltext

Features of Distribution and Parasitism of Polyplax hannswrangeli Eichler, 1952 (Anoplura) in West Siberia von Starikov, V. P., Kravchenko, V. N., Vershinin, E. A., Bernikov, K. A., Petukhov, V. A.

Volltext

Lice (Anoplura) of Small Mammals in the Middle Ob Region von Starikov, V. P., Vershinin, E. A., Kravchenko, V. N., Borodin, A. V., Petukhov, V. A., Bernikov, K. A.

Volltext

Fleas (Siphonaptera) of small mammals in the northern taiga of Western Siberia von Starikov, V. P., Egorov, S. V., Vershinin, E. A., Bernikov, K. A.

Volltext

Thyristor/Diode-bypassed sub-module power-groups for improved efficiency in modular multilevel converters von Judge, P, Green, T, Merlin, M, Trainer, D, Vershinin, K

Volltext

Climate changes in East Siberia (Russia) in the Holocene based on diatom, chironomid and pollen records from the sediments of Lake Kotokel von Fedotov, A. P, Vorobyeva, S. S, Vershinin, K. E, Nurgaliev, D. K, Enushchenko, I. V, Krapivina, S. M, Tarakanova, K. V, Ziborova, G. A, Yassonov, P. G, Borissov, A. S

Volltext

InP nanowires on Si(111) for piezotronic applications von Vershinin, A V, Soshnikov, I P, Kotlyar, K P, Kudryashov, D A, Samsonenko, Y B, Lysak, V V, Cirlin, G E

Volltext

Hydrochemical composition of glacial lakes on inshore Russian Antarctic stations von Onishchuk, N.A., Golobоkova, L.P., Vershinin, K.E., Zhuchenko, N.A.

Volltext

Drastic desalination of small lakes in East Siberia (Russia) in the early twentieth century: inferred from sedimentological, geochemical and palynological composition of small lake... von Fedotov, A. P, Phedorin, M. A, Enushchenko, I. V, Vershinin, K. E, Krapivina, S. M, Vologina, E. G, Petrovskii, S. K, Melgunov, M. S, Sklyarova, O. A

Volltext

Adenovirus transport via direct interaction of cytoplasmic dynein with the viral capsid hexon subunit von Bremner, K Helen, Scherer, Julian, Yi, Julie, Vershinin, Michael, Gross, Steven P, Vallee, Richard B

Volltext

Photovoltaic properties of InP NWs/p-Si heterostructure von Kotlyar, K P, Vershinin, A V, Reznik, R R, Pavlov, S I, Kudryashov, D A, Zelentsov, K S, Mozharov, A M, Karaborchev, A A, Mukhin, I S, Soshnikov, I P, Cirlin, G E

Volltext