The following pages link to Marina K. Morokhovets (Q1127548):
Displaying 16 items.
- (Q466396) (redirect page) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system (Q1364068) (← links)
- Resolution approach to testing compatibility of interacting automata (Q1905221) (← links)
- Application and development of linguistic software tools for analyzing and transforming the texts of requirements for software systems (Q2103815) (← links)
- Cyber-physical systems: the linguistic aspect (Q2215869) (← links)
- Parallel inference search in logical calculus based on the algebraic programming system (Q2452767) (← links)
- International workshop ''``Automata, algorithms, and information technologies'' (Q2452768) (← links)
- (Q2737323) (← links)
- (Q2751545) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
- (Q3726081) (← links)
- Deduction-seeking procedures and transitive relations (Q3793763) (← links)
- (Q4282505) (← links)
- (Q4938416) (← links)
