Autoren, Herausgeber und Rezensenten von Begell House

Anatoliy I. Degtyarev

Liverpool University, Great Britain

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