Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Automated theorem proving / HOL / Logic for Computable Functions / Higher-order logic / Isabelle / Michael J. C. Gordon / Theorem Proving in Higher-Order Logics / Theoretical computer science / Mathematics / Applied mathematics


Document Date: 2009-08-23 14:58:44

Open Document

File Size: 60,10 KB

Share Result on Facebook

City

Munich / /

/

IndustryTerm

numerical algorithms / /

Person

Lars Schewe / Marco Maggesi / Mike Gordon / Tom Hales / John Harrison / /

Technology

ASCII / especially numerical algorithms / /

SocialTag