About: Program synthesis: challenges and opportunities     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

scientific article published on October 2017

AttributesValues
rdf:type
description
  • videnskabelig artikel (da)
  • article científic (ca)
  • article scientific (oc)
  • articol științific (ro)
  • articolo scientifico (it)
  • artigo científico (gl)
  • artigo científico (pt)
  • artigo científico (pt-br)
  • artikull shkencor (sq)
  • artikulong pang-agham (tl)
  • artykuł naukowy (pl)
  • bilimsel makale (tr)
  • scienca artikolo (eo)
  • teaduslik artikkel (et)
  • tieteellinen artikkeli (fi)
  • tudományos cikk (hu)
  • vedecký článok (sk)
  • vetenskaplig artikel (sv)
  • vitenskapelig artikkel (nb)
  • vitskapeleg artikkel (nn)
  • vědecký článek (cs)
  • wetenschappelijk artikel (nl)
  • wissenschaftlicher Artikel (de)
  • επιστημονικό άρθρο (el)
  • научна статия (bg)
  • научная статья (ru)
  • научни чланак (sr)
  • מאמר מדעי (he)
  • სამეცნიერო სტატია (ka)
  • บทความทางวิทยาศาสตร์ (th)
  • artikel ilmiah (id)
  • bài báo khoa học (vi)
  • naučni članak (sr-el)
  • мақолаи илмӣ (tg-cyrl)
  • научни чланак (sr-ec)
  • article scientifique (fr)
  • artículu científicu espublizáu en 2017 (ast)
  • 2017 nî lūn-bûn (nan)
  • 2017年の論文 (ja)
  • 2017年論文 (zh-hk)
  • 2017年論文 (zh-tw)
  • 2017年論文 (zh-hant)
  • 2017年論文 (yue)
  • 2017年論文 (zh-mo)
  • 2017年论文 (zh)
  • 2017年论文 (zh-cn)
  • 2017年论文 (zh-sg)
  • 2017年论文 (zh-hans)
  • 2017年论文 (wuu)
  • 2017年论文 (zh-my)
  • 2017년 논문 (ko)
  • artículo científico publicado en 2017 (es)
  • наукова стаття, опублікована в жовтні 2017 (uk)
  • অক্টোবর ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ (bn)
  • scientific article published on October 2017 (en-ca)
  • scientific article published on October 2017 (en-gb)
  • مقالة علمية نشرت في أكتوبر 2017 (ar)
  • scientific article published on October 2017 (en)
publication date
publication date
language of work or name
language of work or name
cites work
cites work
author name string
author name string
  • Cristina David
rdfs:label
  • Program synthesis: challenges and opportunities (en)
skos:prefLabel
  • Program synthesis: challenges and opportunities (en)
name
  • Program synthesis: challenges and opportunities (en)
author
author
title
title
  • Program synthesis: challenges and opportunities (en)
instance of
instance of
PubMed ID
PubMed ID
PubMed ID
  • 28871052
published in
published in
issue
volume
issue
  • 2104
volume
  • 375
DOI
DOI
DOI
  • 10.1098/RSTA.2015.0403
PMCID
PMCID
  • 5597726
is about of
is cites work of
Faceted Search & Find service v1.16.117 as of May 05 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 183 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software