Cargando…
Program synthesis
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2762175 |
| _version_ | 1780970656405389312 |
|---|---|
| author | Gulwani, Sumit Polozov, Oleksandr Singh, Rishabh |
| author_facet | Gulwani, Sumit Polozov, Oleksandr Singh, Rishabh |
| author_sort | Gulwani, Sumit |
| collection | CERN |
| id | cern-2762175 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2017 |
| publisher | Now Publishers |
| record_format | invenio |
| spelling | cern-27621752021-04-21T16:39:14Zhttp://cds.cern.ch/record/2762175engGulwani, SumitPolozov, OleksandrSingh, RishabhProgram synthesisXXNow Publishersoai:cds.cern.ch:27621752017 |
| spellingShingle | XX Gulwani, Sumit Polozov, Oleksandr Singh, Rishabh Program synthesis |
| title | Program synthesis |
| title_full | Program synthesis |
| title_fullStr | Program synthesis |
| title_full_unstemmed | Program synthesis |
| title_short | Program synthesis |
| title_sort | program synthesis |
| topic | XX |
| url | http://cds.cern.ch/record/2762175 |
| work_keys_str_mv | AT gulwanisumit programsynthesis AT polozovoleksandr programsynthesis AT singhrishabh programsynthesis |