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