| |||||||||
| |||||||||
Items where Author is "Natarajan, Surash "
Group by: Item Type | No Grouping Number of items: 1. Natarajan, Surash (1994) A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach. Masters thesis, Universiti Sains Malaysia. |
