Autores, Editores y Críticos de Begell House

Anatoliy I. Degtyarev

Liverpool University, Great Britain

Obtenga más información sobre el autor en el Directorio de Especialistas

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