Taylor's Library catalog › Results of search for 'an:"101722"'

Your search returned 2 results.

Not what you expected? Check for suggestions

		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

Taylor's Library