| Document Date: 2013-02-07 03:54:46 Open Document File Size: 973,50 KBShare Result on Facebook
City Lausanne / / Company SRI International / CNF / / Country Switzerland / France / United States / / IndustryTerm free software / systematic proof search / search tree / type systems / subsumption algorithm / software verification / / OperatingSystem GNU/linux / / Organization Computer Science Lab of SRI International / / Person Sam Owre / Tiphaine / Bruno Dutertre / Filliâtre / Lori Truitt / Natarajan Shankar / Jean-Michel / Viktor Kuncak / Benjamin Werner / / Position great supervisor / General / / ProvinceOrState California / / Technology alpha / subsumption algorithm / Matching Algorithm / Unification Algorithm / Linux / Simplex algorithm / DPLL algorithm / dom / two algorithms / 4.6 Subsumption Check Algorithm / / URL http /
SocialTag |