从32查看出版物1-32
2023
2022
- 利用人工智能工具mediKanren治疗罕见疾病的精确医疗过程亚历克桑德拉·福克辛斯卡,卡梅隆·M·克劳德,安德鲁·克罗斯,杰夫·亨利克森,威廉·伯德,格雷戈里·罗森布拉特,迈克尔·巴顿,何凯文,Thi K.Tran-Nguyen先生,玛丽莎·郑,史蒂芬·A·拉姆齐,纳达·阿明,约翰·奥斯本,马修·米特.争吵, 5,2022 [美国国防部]
2021
2019
2018
2017
2016
2015
- 去Meta!性能关键系统中的生成性编程和DSL案例蒂亚克·隆普夫,凯文·布朗,HyoukJoong Lee(李孝忠),阿文德·苏吉思,马诺哈尔·琼纳拉赫达,纳达·阿明,乔治·奥芬贝克,阿伦·斯托亚诺夫,Yannis Klonatos公司,穆罕默德·达什蒂,克里斯托夫·科赫,马库斯·普舍尔,昆勒·奥卢科顿.2015年SNAPL:238-261 [美国国防部]
2014
2013
2012
2009
登录或注册以查看更多结果。