Abonnement à la biblothèque: Guest
Portail numérique Bibliothèque numérique eBooks Revues Références et comptes rendus Collections
Journal of Automation and Information Sciences
SJR: 0.232 SNIP: 0.464 CiteScore™: 0.27

ISSN Imprimer: 1064-2315
ISSN En ligne: 2163-9337

Volumes:
Volume 51, 2019 Volume 50, 2018 Volume 49, 2017 Volume 48, 2016 Volume 47, 2015 Volume 46, 2014 Volume 45, 2013 Volume 44, 2012 Volume 43, 2011 Volume 42, 2010 Volume 41, 2009 Volume 40, 2008 Volume 39, 2007 Volume 38, 2006 Volume 37, 2005 Volume 36, 2004 Volume 35, 2003 Volume 34, 2002 Volume 33, 2001 Volume 32, 2000 Volume 31, 1999 Volume 30, 1998 Volume 29, 1997 Volume 28, 1996

Journal of Automation and Information Sciences

DOI: 10.1615/JAutomatInfScien.v34.i10.10
12 pages

Evidence Algorithm and Processing Formalized Mathematical Texts

Konstantin P. Vershinin
University-XII, Paris, France
Anatoliy I. Degtyarev
Liverpool University, Great Britain
Alexander V. Lyaletski
Kyiv National Taras Shevchenko University, Ukraine
Marina K. Morokhovets
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Kyiv, Ukraine
Andrey Yu. Paskevich
Kyiv National Taras Shevchenko University, Ukraine

RÉSUMÉ

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.


Articles with similar content:

Mathematical Modeling and Optimization of Walking of Human Being with Prosthesis of Crus
Journal of Automation and Information Sciences, Vol.37, 2005, issue 6
Victor E. Berbyuk, Miroslav V. Demydyuk, Bogdan A. Lytvyn
Automation of Synthesis of Algorithms for Diagnostics of High Speed Memory Chips
Journal of Automation and Information Sciences, Vol.30, 1998, issue 4-5
V. A. Bashorun, J. A. Saliu, T. A. Adesina, V. G. Ryabtsev
Cardiac Rehabilitation: Current Status and Future Trends
Critical Reviews™ in Physical and Rehabilitation Medicine, Vol.7, 1995, issue 1
Thomas M. Broderick, Donald E. Shrey, Byron W. Gustin, G. Major Kumar, Anil Mital, Kathryn Colon-Brown
Correction of Controls of Nonstationary Objects on the Basis of the Invariance Property of the Riccati Equation
Journal of Automation and Information Sciences, Vol.30, 1998, issue 2-3
Yuriy G. Bulychev, Igor V. Burlai
The Experimental Test Bench for Testing of Components of the Automatic Equipment of Spacecrafts and Carrier Rockets
Journal of Automation and Information Sciences, Vol.35, 2003, issue 10
Alexander N. Ponomarev, Alexey V. Sichevoy