The following pages link to A. I. Provotar' (Q1099962):
Displayed 23 items.
- (Q220164) (redirect page) (← links)
- Fuzzy object-oriented dynamic networks. II (Q289784) (← links)
- Erratum to: ``Fuzzy object-oriented dynamic networks. II'' (Q315034) (← links)
- Fuzzy object-oriented dynamic networks. I (Q895078) (← links)
- On the paralogicality of some logical constructs (Q946791) (← links)
- Finitely generated relations and their application to the translation problem in one class of languages (Q1099963) (← links)
- Formal methods in computer technologies (Q1288672) (← links)
- Geometry of recursion for arithmetic and existentially defined relations (Q1375270) (← links)
- Incompleteness in a topos (Q1385779) (← links)
- On formal models in investigating critical velocities (illustrated by Lorentz transformations) (Q1406346) (← links)
- An approach to the creation of formal models of the influence of environmental impact on the development of biological systems (Q1570280) (← links)
- The Thue problem and logical specifications of derivation in formal systems (Q1582908) (← links)
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms (Q1842423) (← links)
- CASE system for structured modular composition programming: Conceptual fundamentals (Q1895026) (← links)
- Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms (Q1905220) (← links)
- A methodology of structured-modular composition programming (Q1907783) (← links)
- Optimization issues in structured-modular composition programming technology (Q1918750) (← links)
- To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences) (Q2371726) (← links)
- Generalization of linear morphisms on \(N\) in topoi (Q2508813) (← links)
- (Q4007491) (← links)
- (Q5106470) (← links)
- Using categorical methods in computer science (Q5951279) (← links)
- Boolean algebra as a fragment of the theory of Boolean toposes (Q5951347) (← links)