First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2009-07-21 18:43:48Open Document File Size: 593,26 KBShare Result on FacebookCompanyIBM / Microsoft / /CountryJordan / /FacilityC-Corn library / /IndustryTermsoftware engineering / software components / computer hardware / /Organizationpentagon / /PersonFrancis Guthrie / /PositionCoq assistant / individual mathematician / proof assistant / Coq proof assistant / /ProgrammingLanguageR / C / /Technologyoperating system / /SocialTag |