Evidence Algorithm and Processing Formalized Mathematical Texts

Konstantin P. Vershinin; Anatoliy I. Degtyarev; Alexander V. Lyaletski; Marina K. Morokhovets; Andrey Yu. Paskevich

doi:10.1615/JAutomatInfScien.v34.i10.10

Journal of Automation and Information Sciences

編集長: Arkadiy A. Chikriy (open in a new tab)

編集アソシエイトs: Vyacheslav F. Gubarev (open in a new tab) Yuriy P. Kondratenko (open in a new tab) Nonna V. Turovyerova (open in a new tab)

年間 12 号発行

ISSN 印刷: 1064-2315

ISSN オンライン: 2163-9337

Indexed in

Evidence Algorithm and Processing Formalized Mathematical Texts

巻 34, 発行 10, 2002, 12 pages

DOI: 10.1615/JAutomatInfScien.v34.i10.10

Get access

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

要約

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.

818 記事の閲覧数 1 記事のダウンロード記事の統計

818 記事の閲覧数 1 記事のダウンロード Google
Scholar 引用数

類似内容の記事:

New and Modified Methods for Studying Microsporidia of Aquatic Animals (A Review) Hydrobiological Journal, Vol.39, 2003, issue 1
N. A. Ovcharenko

The Need to Legislate the Healthcare Industry in the State of Washington to Protect Healthcare Workers from Back Injury Journal of Long-Term Effects of Medical Implants, Vol.15, 2005, issue 5
William Charney

Radiation-Convective Heat and Mass Transfer under Thermochemical Protection with Various Screens Heat Transfer Research, Vol.29, 1998, issue 1-3
M. Repukhov

Backscattering of a Pulse Signal by a Perfectly Conducting Object Located near the Interface of a Uniform Half-Space Telecommunications and Radio Engineering, Vol.53, 1999, issue 9-10
Oleg ll'ich Sukharevsky, S. A. Gorelyshev, V. A. Vasilets, A. V. Muzychenko

Modeling for Neuromonitoring Depth of Anesthesia Critical Reviews™ in Biomedical Engineering, Vol.30, 2002, issue 1-3
Johnnie W. Huang, Rob J. Roy, Xu-Sheng Zhang

Indexed in

Evidence Algorithm and Processing Formalized Mathematical Texts

要約

類似内容の記事:

最新号