Browse by Supervisor
 | Up a level |
Number of items: 1.
Shenaiber, Nourah (2015). Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover. University of Birmingham. Ph.D.
| Up a level |
Shenaiber, Nourah (2015). Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover. University of Birmingham. Ph.D.