![Linear algebra / Logic in computer science / Proof theory / Functions and mappings / Vector space / Function / Presburger arithmetic / Linear programming / Euclidean vector / Mathematics / Algebra / Abstract algebra Linear algebra / Logic in computer science / Proof theory / Functions and mappings / Vector space / Function / Presburger arithmetic / Linear programming / Euclidean vector / Mathematics / Algebra / Abstract algebra](https://www.pdfsearch.io/img/6b6a7d5e480ffe79e27ab3c5ab9cd1c5.jpg)
| Document Date: 2014-07-29 07:28:39 Open Document File Size: 491,05 KBShare Result on Facebook
/ Facility Daniel Kroening Oxford University / Uppsala University / / IndustryTerm synthesis algorithm / synthesis tools / function synthesis tools / / OperatingSystem Microsoft Windows / / Organization European Union / Oxford University / Swiss National Science Foundation / Engineering and Physical Sciences Research Council / / Person Daniel Kroening / Byron Cook / Christoph M. Wintersteiger / / Position driver / editor / / ProgrammingLanguage R / Java / C++ / / Technology synthesis algorithm / Java / single-loop / /
SocialTag |