Journal of Automation and Information Sciences
Published 12 issues per year
ISSN Print: 1064-2315
ISSN Online: 2163-9337
SJR:
0.173
SNIP:
0.588
CiteScore™::
2
Indexed in
Evidence Algorithm and Processing Formalized Mathematical Texts
Volume 34,
Issue 10, 2002,
12 pages
DOI: 10.1615/JAutomatInfScien.v34.i10.10
ABSTRACT
Results of modern studies, on the so-called Evidence Algorithm, a program of automated theorem proving, initiated by V.M. Glushkov in sixties, are presented. Means of linguistic and deductive maintenance of this program are described.
789 Article views
1 Article downloads
Metrics
Articles with similar content:
Latest Issue
Modeling of Configurations Formed when Using Microneedle Systems
Properties of Large Deviations of Empirical Estimates in a Stochastic Optimization Problem for a Homogeneous Random Field
The Dynamics of One Arms Race Mathematical Model with a Delay
Some Ways to Modeling Input Data for Information Search in the Library of Standards when Solving Semantics Problems
Method for Constructing Primitive Polynomials for Cryptographic Subsystems of Dependable Automated Systems
Complete Asymptotics of Approximations by Certain Singular Integrals in Mathematical Modeling
Index, Volume 52, 2020