المؤلفون: 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