Your search returned 9 results.

Results
	1.		Image from Amazon.com	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 Series: NATO science series. Series III, Computer and systems sciences ; ; v. 200. Publication details: Amsterdam ; Washington, DC : IOS Press, c2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca ebrary, Inc Publication details: Amsterdam : IOS Press, c2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Formalized probability theory and applications using theorem proving / Osman Hasan and Sofi�ene Tahar. by Hasan, Osman, 1975- [author.] Tahar, Sofi�ene, 1966- [author.] IGI eBooks IGI Global [publisher.] Publisher: Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) : IGI Global, [2015] Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Recent progress in the Boolean domain / edited by Bernd Steinbach. by Steinbach, Bernd [editor.] ebrary, Inc Publisher: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014Copyright date: copy©2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. by Friedman, Daniel P [author.] Eastlund, Carl [author.] Bibby, Duane [illustrator.] Moore, J. Strother [author of introduction, etc.] Felleisen, Matthias [author of afterword, colophon, etc.] ebrary, Inc Publisher: Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015Copyright date: copy©2015 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	Mathematics mechanization and applications / edited by Xiao-Shan Gao and Dongming Wang. by Gao, Xiao-Shan Wang, Dongming, 1961- ScienceDirect eBooks ©2000 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov. by Robinson, J. A. (John Alan) Voronkov, Andrei, 1959- ScienceDirect eBooks ©2001 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	8.		Image from Amazon.com	Handbook of automated reasoning. Volume II [electronic resource] / editors, Alan Robinson and Andrei Voronkov. by Robinson, J. A. (John Alan) Voronkov, A. (Andre(breve)i), 1959- Safari eBooks c2001 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	9.		Image from Amazon.com	Handbook of practical logic and automated reasoning [electronic resource] / John Harrison. by Harrison, J. (John), 1966- Safari eBooks 2009 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu