Auteurs, éditeurs et examinateurs de Begell House

Anatoliy I. Degtyarev

Liverpool University, Great Britain

En savoir plus sur l'auteur dans le répertoire de spécialistes

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