Marina K. Morokhovets

Available identifiers

Publication	Date of Publication	Type
Application and development of linguistic software tools for analyzing and transforming the texts of requirements for software systems	2022-12-09	Paper
Cyber-physical systems: the linguistic aspect	2020-12-14	Paper
Glushkov's evidence algorithm	2014-10-27	Paper
Parallel inference search in logical calculus based on the algebraic programming system	2014-06-05	Paper
International workshop ``Automata, algorithms, and information technologies	2014-06-05	Paper
On the EA-style integrated processing of self-contained mathematical texts	2001-10-21	Paper
Peculiarities of deductive constructions in evidence algorithm information environment	2001-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4938416	2000-06-22	Paper
Resolution-based approach to compatibility analysis of interacting automata	1998-08-13	Paper
Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system	1997-10-06	Paper
Resolution approach to testing compatibility of interacting automata	1996-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4282505	1994-03-17	Paper
Deduction-seeking procedures and transitive relations	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726081	1984-01-01	Paper
Strategies of the search for derivation of statements with restricted quantifiers	1983-01-01	Paper

This page was built for person: Marina K. Morokhovets