找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: ALPUK91; Proceedings of the 3 Geraint A. Wiggins,Chris Mellish,Tim Duncan Conference proceedings 1992 Springer-Verlag London 1992 Databases

[復(fù)制鏈接]
樓主: 獨(dú)裁者
31#
發(fā)表于 2025-3-26 21:36:17 | 只看該作者
P. R. Almeida,B. R. Quintella,N. M. Diasanguages). It then investigates the . of queries and answers: given a complex query, what is the relation between the set of answers to the complex query and the sets of answers to the components of complex query, themselves viewed as queries. Again both the definite clause case and the full first o
32#
發(fā)表于 2025-3-27 03:31:24 | 只看該作者
A. Koed,N. Jepsen,K. Aarestrup,C. Nielsenn a process interpretation of logic program computation, and is written in Milner’s Calculus of Communicating Systems (CCS) [Milner 89]. This semantics uses a simpler domain than meta-interpretive and denotational semantics, that being streams of answer substitutions, which makes it more suitable as
33#
發(fā)表于 2025-3-27 08:54:41 | 只看該作者
34#
發(fā)表于 2025-3-27 12:12:49 | 只看該作者
35#
發(fā)表于 2025-3-27 14:28:14 | 只看該作者
https://doi.org/10.1007/978-3-476-05175-2timately intended for use by novice programmers. A notation for representing techniques, based on Definite Clause Grammars, is described in the context of previous theoretical work by Kirschenbaum, Lakhotia and Sterling. Details are supplied of a mechanism for using these techniques to provide guida
36#
發(fā)表于 2025-3-27 17:50:09 | 只看該作者
https://doi.org/10.1007/978-1-4615-1953-9e consult/1 which reads a file and loads the predicates defined there into the database. Although the definition of consult/l was initially simple, implementers have extended and changed its meaning and effect. This paper identifies the requirements for consult/l and poses several questions which mu
37#
發(fā)表于 2025-3-27 22:48:42 | 只看該作者
ALPUK91978-1-4471-3546-3Series ISSN 1431-1682
38#
發(fā)表于 2025-3-28 03:09:32 | 只看該作者
39#
發(fā)表于 2025-3-28 06:14:46 | 只看該作者
40#
發(fā)表于 2025-3-28 13:44:37 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-9 10:34
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
岑溪市| 郑州市| 荥经县| 永兴县| 临夏市| 登封市| 铁岭市| 秦皇岛市| 紫云| 资源县| 宝清县| 石台县| 博湖县| 衡南县| 怀柔区| 商城县| 武川县| 岳池县| 穆棱市| 博罗县| 绥棱县| 浏阳市| 余庆县| 苏州市| 西充县| 阿荣旗| 福泉市| 秀山| 静安区| 墨竹工卡县| 桐乡市| 岳阳市| 临夏县| 弥渡县| 宁强县| 油尖旺区| 中方县| 青海省| 新沂市| 仪征市| 手游|