00000cmm a22000004i 4500 UP-99796217611134723 Buklod 20140224084612.0 m go j cr |n |||auu|a 110808s2011 xx u | eng d 9783642228636 (eBook) 3642228631 (eBook) (iLib)UPD-00212406843 DLC DML eng DMLUC QA 76.9 A96 I87 2011eb ITP(Conference) 2011 Berg en Dal, Netherlands) Interactive theorem proving [electronic resource] second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings Marko van Eekelen... [et al.], eds. ITP 2011 Berlin New York Springer c2011. 1 online resource (xi, 383 p.) LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science 6898 IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc. Electronic reproduction. New York Springerlink 2011. Available via World Wide Web through SpringerLink. Automatic theorem proving Congresses. Electronic books. Eekelen, Marko van. Geuvers, Herman. Schmaltz, Julien. Wiedijk, Freek. SpringerLink (Online service). Available for the University of the Philippines Diliman via SpringerLink. Click here to access http://link.springer.com/book/10.1007/978-3-642-22863-6 (viewed 13 September 2014) FO Monograph UPD DMLR Electronic Resource