搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
1999 Krzysztof R.公寓 , 马克·贝泽姆 :
公式作为程序。 逻辑程序设计范式 1999 : 75-107 霍华德·布莱尔 , 弗雷德·杜欣 , 大卫·W·贾克尔 , 安吉尔·J·里维拉 , T.梅汀·塞兹金 :
逻辑程序计算的连续模型:将连续数学引入逻辑程序设计的算法基础。 逻辑程序设计范式 1999 : 231-255 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
逻辑编程和多代理系统:应用程序和语义的协同组合。 逻辑程序设计范式 1999 : 5-32 雅克·科恩 :
计算分子生物学:使用LP及其扩展的一个有前途的应用。 逻辑程序设计范式 1999 : 281-311 维罗尼卡·达尔 :
语言的逻辑。 逻辑程序设计范式 1999 : 429-456 索米亚·德布雷 :
多语言程序的链接时间优化。 逻辑程序设计范式 1999 : 109-126 马滕·范·埃姆登 :
数值计算中的逻辑程序设计范式。 逻辑程序设计范式 1999 : 257-276 古川光一 :
从演绎到归纳:逻辑视角。 逻辑程序设计范式 1999 : 347-354 戈帕尔·古普塔 :
喇叭逻辑表示及其应用。 逻辑程序设计范式 1999 : 127-159 曼纽尔·埃尔梅内吉尔多 , 杰曼·普埃布拉 , 弗朗西斯科·布埃诺 :
使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。 逻辑程序设计范式 1999 : 161-192 弗拉基米尔·利夫希茨 :
行动语言、答案集和计划。 逻辑程序设计范式 1999 : 357-373 迈克尔·J·马赫 :
为基于逻辑的形式主义添加约束。 逻辑程序设计范式 1999 : 313-331 维克托·马雷克 , 米罗斯瓦·特鲁兹琴斯基 :
稳定模型和替代逻辑编程范式。 逻辑程序设计范式 1999 : 375-398 吕克·德·雷德 :
归纳逻辑程序设计透视。 逻辑程序设计范式 1999 : 335-346 丹尼·德·施雷耶 , 马克·德内克 :
CL理论和程序开发中的一些问题评估。 逻辑程序设计范式 1999 : 195-208 保罗·塔劳 :
使用Jinni进行推理和计算移动。 逻辑程序设计范式 1999 : 33-52 Kazunori Ueda公司 :
并发逻辑/约束编程:未来10年。 逻辑程序设计范式 1999 : 53-71 菲利普·沃德勒 :
企业如何使用函数式语言,以及为什么不使用。 逻辑程序设计范式 1999 : 209-227 卡洛·扎尼奥洛 , 王海勋 :
面向下一代数据库系统的基于逻辑的用户定义聚合。 逻辑程序设计范式 1999 : 401-426 Krzysztof R.Apt公司 , 维克托·马雷克 , 米雷克·特鲁兹琴斯基 , 大卫·斯科特·沃伦 :
逻辑编程范式——25年展望。 人工智能 , 施普林格 1999 ,十亿 978-3-642-64249-4 [目录]
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)