Begell House作者，编辑及审稿者

Anatoliy I. Degtyarev

Liverpool University, Great Britain

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