Polynomial Algorithm of Verication for Subset of PLTL Logic by P. V. Lebedev

Get full text

The influence of the lumbar spinal stenosis severity and extent on clinical symptoms and functional outcomes of surgical treatment by B.R. Kinzyagulov, V.B. Lebedev, P.V. Lebedev, A.A. Zuev

Get full text

Analysis of key components in the rehabilitation diagnosis of acute stroke patients by A. A. Shmonin, M. N. Mal’ceva, A. Oshchepkov, A. V. Starceva, A. R. Zashcherinskaya, M. S. Prosvirnina, P. V. Lebedev, D. D. Glistenkova, E. v. Mel’nikova

Get full text