IMSc Library catalog › Results of search for 'au:"Loveland, Donald W."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Automated theorem proving after 25 years by Bledsoe, W. W \| Loveland, Donald W. Eds. Series: Contemporary mathematics ; 00029Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I ; American Mathematical Society ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 7 Call number: 51 CM. 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