|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
Yu. M. Smetanin, “The use of distributed computing in domain modeling in universal syllogistics”, Program Systems: Theory and Applications, 15:2 (2024), 87–112  |
|
2022 |
| 2. |
Yu. M. Smetanin, “Front-end algorithm for solving the SAT problem”, Program Systems: Theory and Applications, 13:4 (2022), 163–179 |
1
|
|
2017 |
| 3. |
Yu. M. Smetanin, “Verification of the logical sequence in nonclassical multivalued logic”, Izv. IMI UdGU, 50 (2017), 62–82  |
2
|
| 4. |
Yu. M. Smetanin, “Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois”, Program Systems: Theory and Applications, 8:2 (2017), 69–93 |
3
|
|
2016 |
| 5. |
Yu. M. Smetanin, “Non-paradoxical logical consequence and the problem of solving ML-equations”, Program Systems: Theory and Applications, 7:1 (2016), 99–115 |
3
|
|
2013 |
| 6. |
Yu. M. Smetanin, “Propositional logic on the basis of algebraic system containing traditional syllogistics”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2013, no. 2, 127–146 |
|
2011 |
| 7. |
Yu. M. Smetanin, “Analysis of paradoxes of tangible implication in the orthogonal basis of syllogistics”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2011, no. 4, 144–162 |
1
|
|
2010 |
| 8. |
Y. M. Smetanin, “Algorithm for solving polisillogizm in the orthogonal basis by calculating the constituent sets”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2010, no. 4, 172–185 |
5
|
|
2009 |
| 9. |
Yu. M. Smetanin, “Orthogonal basic of syllogistics”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2009, no. 4, 155–166 |
2
|
|
|
|
2019 |
| 10. |
A. A. Gryzlov, V. A. Zaitsev, D. M. Kinzebulatov, N. V. Latypova, V. P. Maksimov, N. N. Petrov, S. N. Popova, V. I. Rodionov, L. I. Rodina, Yu. M. Smetanin, D. L. Fedorov, “Vasilii Yakovlevich Derr. To anniversary”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 29:4 (2019), 612–617 |
| 11. |
A. P. Beltyukov, A. A. Gryzlov, D. V. Dyugurov, V. A. Zaitsev, N. N. Petrov, S. N. Popova, V. I. Rodionov, Yu. M. Smetanin, A. D. Yashin, “Nikolai Nikolaevich Nepeivoda. To anniversary”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 29:2 (2019), 295–298  |
|
| Organisations |
|
| |
|
|
Contact us: