Begell House Authors, Editors and Reviewers

Alexander V. Lyaletski

Kyiv National Taras Shevchenko University, Ukraine
Get more info about author from Directory of Specialists

Articles

One Approach to Automated Proof of Mathematical Assertions Vol. 32 '2000 - Journal of Automation and Information Sciences
Evidence Algorithm and Processing Formalized Mathematical Texts Vol. 34 '2002 - Journal of Automation and Information Sciences