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

Anatoliy I. Degtyarev

Liverpool University, Great Britain
Больше информации об авторе - в 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