IMSc Library catalog › Results of search for 'su-br:au:"Wu, Hao."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / edited by Hai Jin, Guang R. Gao, Zhiwei Xu, Hao Chen. by Jin, Hai [editor.] \| Gao, Guang R [editor.] \| Xu, Zhiwei [editor.] \| Chen, Hao [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3222Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automated theorem proving : [electronic resource] after 25 years / W.W. Bledsoe and D.W. Loveland, editors. by Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) \| Bledsoe, W. W \| Loveland, Donald W \| American Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 29.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1984Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags