| Document Date: 2009-11-10 09:06:44 Open Document File Size: 236,93 KBShare Result on Facebook
City Lausanne / Klosterneuburg / / Company The star / / Country Switzerland / Austria / / Currency pence / / / Facility Institute of Science / / IndustryTerm binary search tree implementation / expressive type systems / quantifier elimination algorithm / cardinality operator / uninformed search / software correctness properties / e - index / software verification / / Organization Swiss National Science Foundation / Institute of Science / EPFL School of Computer and Communication Sciences / / Person Ai / / ProgrammingLanguage Scala / / Technology quantifier elimination algorithm / 5 The algorithm / /
SocialTag |