Sciweavers

Share
TPHOL
2008
IEEE

Twenty Years of Theorem Proving for HOLs Past, Present and Future

9 years 4 months ago
Twenty Years of Theorem Proving for HOLs Past, Present and Future
Mike Gordon
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TPHOL
Authors Mike Gordon
Comments (0)
books