Journal of Automation and Information Sciences
Publicou 12 edições por ano
ISSN Imprimir: 1064-2315
ISSN On-line: 2163-9337
SJR:
0.173
SNIP:
0.588
CiteScore™::
2
Indexed in
Evidence Algorithm and Processing Formalized Mathematical Texts
Volume 34,
Edição 10, 2002,
12 pages
DOI: 10.1615/JAutomatInfScien.v34.i10.10
RESUMO
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.
791 Visualizações do artigo
1 downloads de artigos
Métricas
Artigos com conteúdo semelhante:
Última edição
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