Autoren, Herausgeber und Rezensenten von Begell House

Alexander V. Lyaletski

Kyiv National Taras Shevchenko University, Ukraine

Weitere Infos über den Autor erhalten Sie im Expertenverzeichnis

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