المؤلفون: A. B. Godlevsky, Marina K. Morokhovets

المصدر: Cybernetics and Systems Analysis. 56:878-892

مصطلحات موضوعية: 021103 operations research, General Computer Science, Design stage, Computer science, Human–computer interaction, Control system, 010102 general mathematics, 0211 other engineering and technologies, Cyber-physical system, 02 engineering and technology, 0101 mathematics, 01 natural sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b561788d5c486ab2360866395842a4a5
https://doi.org/10.1007/s10559-020-00308-8

المؤلفون: Anatoli I. Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.dcs.kcl.ac.uk/staff/anatoli/papers/ao_calculemus.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.6723; http://www.dcs.kcl.ac.uk/staff/anatoli/papers/ao_calculemus.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.6723
http://www.dcs.kcl.ac.uk/staff/anatoli/papers/ao_calculemus.ps

المؤلفون: A. A. Letichevsky, Marina K. Morokhovets, Alexander V. Lyaletski

المصدر: Cybernetics and Systems Analysis. 49:489-500

مصطلحات موضوعية: Automated theorem proving, Theoretical computer science, General Computer Science, Computer science, business.industry, Artificial intelligence, Line (text file), business, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::61fdb99976fd8795535f0181e75b6cfb
https://doi.org/10.1007/s10559-013-9534-z

المؤلفون: V. N. German, N. N. Shchogoleva, A. A. Letichevsky, Marina K. Morokhovets

المصدر: Cybernetics and Systems Analysis. 46:669-678

مصطلحات موضوعية: Theoretical computer science, General Computer Science, Programming language, business.industry, Computer Science::Software Engineering, Inference, Propositional calculus, Cluster (spacecraft), computer.software_genre, Logical calculus, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Software, Proof calculus, Computer Science::Logic in Computer Science, Algebraic programming, business, computer, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::719970887e28ce9ffde115da84297464
https://doi.org/10.1007/s10559-010-9243-9

المؤلفون: A. I. Degtyarev, Yu. V. Kapitonova, Marina K. Morokhovets, Alexander V. Lyaletski, A. A. Letichevskii

المصدر: Cybernetics and Systems Analysis. 35:853-859

مصطلحات موضوعية: General Computer Science, Series (mathematics), business.industry, Computer science, Computer literacy, Realization (linguistics), Information technology, Context (language use), business, Representation (mathematics), Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::719f581d247bb4e9a87c3966ce54c787
https://doi.org/10.1007/bf02742275

المؤلفون: Marina K. Morokhovets, Anatoli N. Chebotarev

المصدر: Theoretical Computer Science. 194(1-2):183-205

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Theoretical computer science, General Computer Science, Computer science, Compatibility (mechanics), Reactive system, Algorithm, Computer Science::Formal Languages and Automata Theory, Monadic predicate calculus, Automaton, Theoretical Computer Science, Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46886647170536c16ef6d1f7d7a1c2cb

المؤلفون: Marina K. Morokhovets

المصدر: Cybernetics and Systems Analysis. 46:679-680

مصطلحات موضوعية: General Computer Science, business.industry, Computer science, Information technology, Artificial intelligence, business, Automaton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e8f955d5c28755f944e4ff0253c235b3
https://doi.org/10.1007/s10559-010-9244-8

المؤلفون: Marina K. Morokhovets, Anatoli Degtyarev, Alexander V. Lyaletski

المصدر: Logic for Programming and Automated Reasoning ISBN: 9783540664925
LPAR

مصطلحات موضوعية: Soundness, Natural deduction, Computer science, Cut-elimination theorem, Classical logic, Sequent calculus, Skolem normal form, Propositional calculus, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Logical programming, Natural proof, Sequent, Rule of inference, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::eae7a9eb3450842e9c4febd530dfeeec
https://doi.org/10.1007/3-540-48242-3_4

المؤلفون: Konstantin P. Vershinin, Andrey Paskevich, Marina K. Morokhovets, Anatoliy I. Degtyarev, Alexander V. Lyaletski

المصدر: Journal of Automation and Information Sciences. 34:12

مصطلحات موضوعية: business.industry, Computer science, Logical reasoning, Proof search, Symbolic calculation, Open system (systems theory), Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Software, Control and Systems Engineering, Formal language, business, Algorithm, Natural language, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::27c6941f8b2c9750a68eec1844e6085b
https://doi.org/10.1615/jautomatinfscien.v34.i10.10