Multi-Sorted Logic, Models, and Logical Geometry.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 742, doi. 10.1007/s10958-016-2811-4
- By:
- Publication type:
- Article
Works matching IS 10723374 AND DT 2016 AND VI 214 AND IP 6
Results: 7
1
2
The Splitting of Separatrices, the Branching of Solutions, and Nonintegrability of Many-Dimensional Systems. Application to the Problem of the Motion of a Spherical Pendulum with an Oscillating Suspension Point.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 755, doi. 10.1007/s10958-016-2812-3
- By:
- Publication type:
- Article
3
A Structural Pattern Based Method for Automated Morphological Analysis of Word Forms in a Natural Language.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 802, doi. 10.1007/s10958-016-2813-2
- By:
- Publication type:
- Article
4
Category-Theoretic Approach to Software Systems Design.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 814, doi. 10.1007/s10958-016-2814-1
- By:
- Publication type:
- Article
5
Mathematical Modeling of Bending of a Circular Plate with the Use of S-Splines.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 854, doi. 10.1007/s10958-016-2815-0
- By:
- Publication type:
- Article
6
Integrable Cases in the Dynamics of a Multi-Dimensional Rigid Body in a Nonconservative Field in the Presence of a Tracking Force.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 865, doi. 10.1007/s10958-016-2816-z
- By:
- Publication type:
- Article
7
Congratulations.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 214, n. 6, p. 741, doi. 10.1007/s10958-016-2810-5
- Publication type:
- Article