The home for science and engineering™
English
中文
Русский
日本語
Português
Deutsch
Français
Español
Prices and Subscription Policies
About Begell House
Contact Us
Customer Login
0
Shopping Cart
Search box
Search
Home
Books
eBooks
Journals
References and Proceedings
Authors, Editors, Reviewers
A-Z Product Index
Find Journals
Home
Begell House Authors, Editors and Reviewers
Begell House Authors, Editors and Reviewers
Menu
For Authors
For Editors
For Reviewers
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
Home
Begell Digital Portal
Begell Digital Library
Journals
Books
eBooks
References and Proceedings
Authors, Editors, Reviewers
A-Z Product Index
Find Journals
Prices and Subscription Policies
About Begell House
Contact Us
Language
English
中文
Русский
日本語
Português
Deutsch
Français
Español