Your search returned 3 results.

Results
		Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies by Schwichtenberg, Helmut Spies, Katharina Series: NATO science series. Series III, Computer and systems sciences 1387-6694 ; v. 200 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Amsterdam : IOS Press, 2006 Online resources: Click here to access online Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.A96 P76 2006. Place hold Log in to add tags Add to cart (remove)
		Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer (eds.) by International Conference on Mathematical Knowledge Management Wokingham, England), 2006 Balcázar, José Luis Lin, Fangzhen Wang, Ju Series: Lecture notes in artificial intelligence ; 4108 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA76.95 .I58 2006. Place hold Log in to add tags Add to cart (remove)
		Automated model building / by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier by Caferra, Ricardo Series: Applied logic series v. 31 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publication details: Dordrecht ; London : Kluwer Academic, 2004 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.A96 C34 2004. Place hold Log in to add tags Add to cart (remove)