体外受精-胚胎移植

ECCE是纯Prolog程序(带有内置的)的自动联机程序专用程序。它需要一个纯Prolog程序和一个感兴趣的查询,然后专门为那个特定的查询程序。


ZBMaCT中的参考文献(60篇文章中引用)

显示结果1至20的60。
按年份排序(引文
  1. 德安杰利斯,EMANUELE,FiRavaTeIn,法比奥;Pettorossi,阿尔伯托;Proietti,Maurizio:解决归纳数据类型的HON子句,无归纳法(2018)
  2. 德安杰利斯,EMANUELE;FiRavavTi,法比奥;Pettorossi,阿尔伯托;Proietti,Maurizio:程序验证的谓词配对(2018)
  3. NYS,文森特;De Schreye,丹尼:协同分析和编译的抽象合取部分演绎(2017)
  4. 德安杰利斯,EMANUELE;FiRavaTeIn,法比奥;Pettorossi,阿尔伯托;Proietti,Maurizio:通过约束约束角子句线性化证明命令程序的正确性(2015)
  5. Leuschel,米迦勒;维达尔,GeaMnn:逻辑程序的快速离线部分评估(2014)
  6. Carette,贾可;库塞拉,米迦勒:枫树的部分评价(2011)
  7. Fioavavi,法比奥;Pettorossi,阿尔伯托;Proietti,Maurizio;SeNi,ValeRi:验证无限状态系统的程序专门化:实验评估(2011)
  8. 维达尔,GrimaNN:逻辑程序联合部分评价的混合方法(2011)
  9. 博尔兹,Carl Friedrich;Leuschel,米迦勒;Rigo,Armin:对Prolog(2010)的即时评价
  10. Pettorossi,阿尔伯托;Proietti,Maurizio;SeNNI,ValeRIO:程序开发的转换方法(2010)
  11. 艾伯特,Elvira;加拉赫,约翰;G·MZ ZAMOLA,米格尔;普埃布拉,GeaMnn:基于类型的同胚嵌入在线终止(2009)
  12. Leuschel,米迦勒;维达尔,GeaMnn:大型逻辑程序的快速离线部分评估(2009)
  13. 艾伯特,Elvira;加拉赫,约翰;G.Mez ZAMOLA,米格尔;普埃布拉,GeaMaNN:基于类型的同胚嵌入及其在在线部分评价中的应用(2008)
  14. Barker,史提夫;Leuschel,米迦勒;Varea,Mauricio:通过SIP最优逻辑程序专门化的高效灵活访问控制(2008)
  15. Akama,Kiyoshi;Nantajeewarawat,Ekawit;Koikk,HikkutSu:使用挤压法的等效变换计算模型中的程序生成(2007)
  16. Arroyo,古斯塔沃;拉莫斯,J. Guadalupe;席尔瓦,Josep;维达尔,GeaMnn:使用尺寸变化图改进离线窄化驱动的部分评价(2007)
  17. Escobar,圣地亚哥;梅塞格,约瑟夫;Prasanna,狭义和改写逻辑:从基础到应用(2007)
  18. Leuschel,米迦勒;克雷格,Stephen John;Elphick,丹:用在线技术监督逻辑程序离线部分评价(2007)
  19. 奥乔亚,克劳迪奥;普埃布拉,格曼:多元控制部分评价的实用性研究(2007)
  20. 席尔瓦,Josep;维达尔,GeaMnN:功能逻辑程序的部分切分(2007)