Контакты

О Begell House

Цены и условия подписки

Корзина покупок Войти

Справочники & Сборники

Авторы, Редакторы, Рецензенты

А - Я индекс

Главная > Begell Электронный Портал > Begell House Авторы, Редакторы и Рецензенты

Авторы, Редакторы, Рецензенты

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Alexander V. Lyaletski

Kyiv National Taras Shevchenko University, Ukraine

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

Больше информации об авторе - в Directory of Specialists