First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2014-08-27 06:04:04Open Document File Size: 585,88 KBShare Result on FacebookCompanySledgehammer / Lawrence C. Paulson Computer Laboratory / / /FacilityWorld Wide Web Library / University of Cambridge August / /IndustryTermproxy server / otherwise remarkable tool / Web Library / possible solutions / web service / proof search / /OrganizationHOL Jasmin Christian Blanchette Institut für Informatik / University of Cambridge / Technische Universität München / /PersonMetis / Jasmin Christian Blanchette / /Positionauthor / General / /ProgrammingLanguagePerl / /Technologyproxy server / http / Perl / machine learning / /URLhttp /SocialTag |