Taylor's Library catalog › Results of search for 'su:{Automatic theorem proving}'

Your search returned 3 results.

Not what you expected? Check for suggestions

		Model-based requirements engineering [electronic resource] / Holt, Perry and Bownsword. by Holt, Jon \| Perry, Simon A \| Brownsword, Mike. Publisher: Stevenage : IET, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
		No cover image available Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies. by NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) \| Schwichtenberg, Helmut, 1942- \| Spies, Katharina \| ebrary, Inc. Publisher: Amsterdam ; Washington, DC : IOS Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1). Place hold
		Metamathematics, machines, and Godel's proof / N. Shankar by Shanker, N. Publisher: Cambridge, U.K. : Cambridge University Press, 1997Availability: Items available for loan: Taylor's Library-TU [Call number: 511.3028553 SHA] (1). Place hold

Taylor's Library