IMSc Library catalog › Results of search for 'su-br:au:"Miller, Steven J."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Function spaces : [electronic resource] Fourth Conference on Function Spaces, May 14-19, 2002, Southern Illinois University at Edwardsville / Krzysztof Jarosz, editor. by Conference on Function Spaces (4th : 2002 : Southern Illinois University at Edwardsville) \| Jarosz, Krzysztof, 1953-. Series: Contemporary mathematics (American Mathematical Society) ; v. 328.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2003Online access: Contents \| Contents 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