Automated Theorem proving A mathematical view.
Wafik Boulos Lotf Allah;
Other data
| Title | Automated Theorem proving A mathematical view. | Authors | Wafik Boulos Lotf Allah | Keywords | Automated Theorem proving A mathematical view. | Issue Date | 1993 |
Recommend this item
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.