標(biāo)題: Titlebook: A Tight, Practical Integration of Relations and Functions; Harold Boley Book 1999 Springer-Verlag Berlin Heidelberg 1999 LISP.artificial i [打印本頁] 作者: DUCT 時(shí)間: 2025-3-21 16:03
書目名稱A Tight, Practical Integration of Relations and Functions影響因子(影響力)
書目名稱A Tight, Practical Integration of Relations and Functions影響因子(影響力)學(xué)科排名
書目名稱A Tight, Practical Integration of Relations and Functions網(wǎng)絡(luò)公開度
書目名稱A Tight, Practical Integration of Relations and Functions網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱A Tight, Practical Integration of Relations and Functions被引頻次
書目名稱A Tight, Practical Integration of Relations and Functions被引頻次學(xué)科排名
書目名稱A Tight, Practical Integration of Relations and Functions年度引用
書目名稱A Tight, Practical Integration of Relations and Functions年度引用學(xué)科排名
書目名稱A Tight, Practical Integration of Relations and Functions讀者反饋
書目名稱A Tight, Practical Integration of Relations and Functions讀者反饋學(xué)科排名
作者: Ancestor 時(shí)間: 2025-3-21 23:42 作者: Serenity 時(shí)間: 2025-3-22 03:34 作者: chalice 時(shí)間: 2025-3-22 05:59 作者: Bph773 時(shí)間: 2025-3-22 11:31
A direct semantic characterization of RELFUN, aerothermodynamic environment of other vehicles op- erating hypersonically at very high altitudes, e. g. , the Aero-Assisted Space Transfer Vehicle, the designer may have to consider viscous/inviscid interactions and the modeling of noncontinuum flows. Configurations that have a relatively high bal作者: aggressor 時(shí)間: 2025-3-22 16:10 作者: inflame 時(shí)間: 2025-3-22 18:46 作者: 專心 時(shí)間: 2025-3-23 00:29 作者: ALIEN 時(shí)間: 2025-3-23 03:41 作者: 忍耐 時(shí)間: 2025-3-23 07:42
https://doi.org/10.1007/978-3-540-71750-8 first-class citizens. Because they are completely handled by an extended unification routine, they do not require delay techniques needed in (more expressive) constraint systems. Still, their backtracking-superseding ‘closed’ representation leads to smaller proof trees (efficiency), and abstracted,作者: 本土 時(shí)間: 2025-3-23 12:39 作者: 比目魚 時(shí)間: 2025-3-23 15:25 作者: 呼吸 時(shí)間: 2025-3-23 21:21
https://doi.org/10.1007/BFb0103291LISP; artificial intelligence; functional programming; intelligence; logic; programming; programming langu作者: photopsia 時(shí)間: 2025-3-24 00:14 作者: kindred 時(shí)間: 2025-3-24 04:01
A Tight, Practical Integration of Relations and Functions978-3-540-48064-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 演講 時(shí)間: 2025-3-24 08:20 作者: 束縛 時(shí)間: 2025-3-24 10:56
Spam and its economic significance,istinguished ‘foot’ premise (returning arbitrary values). Both the logic and functional components permit LISP-like varying-arity and higher-order operators. The DATAFUN sublanguage of the functional component is shown to be preferable to relational encodings of functions in DATALOG. RELFUN permits 作者: 注入 時(shí)間: 2025-3-24 16:28
https://doi.org/10.1007/978-3-540-71750-8generalized model concept. Function-defining conditional equations (or, footed clauses) and active call-by-value expressions (in clause premises) are integrated into first-order theories. Herbrand models are accomodated to relational-functional programs by not only containing ground atoms but also g作者: 摸索 時(shí)間: 2025-3-24 22:37
https://doi.org/10.1007/978-3-540-71750-8non-ground structure which can be later specialized through in-place assignment of some inner variables, it can also be bound to, say, a domain structure which can be specialized later through ‘in-place deletion’ of some of its elements (e.g. by intersection with other domain structures). While fini作者: 持久 時(shí)間: 2025-3-25 01:35
https://doi.org/10.1007/978-1-349-08203-2ifying the value sequence to be returned. Functions can thus, relation-like, succeed or fail, enumerate values non-deterministically, return multiple values, and have non-ground arguments and values. Relations act like characteristic functions, permit functionally nested call-by-value arguments, and作者: 材料等 時(shí)間: 2025-3-25 05:41 作者: Eulogy 時(shí)間: 2025-3-25 11:25
An overview of the relational-functional language RELFUN,haftDas Buch beschreibt die Anforderungen an ein Europanetz der Hyperschallbahn auf der Basis der Vakuum-Magnetbahn-Technologie. Es veranschaulicht die vorhandenenund perspektivischen Marktpotenziale im kontinentalen undinterkontinentalen Verkehr unter der Ma?gabe, dass der Luftverkehrweitgehend dur作者: chassis 時(shí)間: 2025-3-25 14:09 作者: 少量 時(shí)間: 2025-3-25 16:13
A direct semantic characterization of RELFUN,gner. He must integrate a wide variety of scientific and technical disciplines, blending mathematical modeling, computational methods, and experimental measurements. Many of the manned reentry vehicles are relatively blunt or fly at very high angles of attack (so that the drag is relatively large) a作者: asthma 時(shí)間: 2025-3-25 23:50 作者: 按等級(jí) 時(shí)間: 2025-3-26 00:47
Multiple-valued Horn clauses and their WAM compilation,dependent terms as they have been calculated from the set of input images (or input hyperspectral bands in our case). For example, the bilateral filtering–based fusion technique calculates the fusion weights (.) using a predefined function. The Bayesian fusion technique is based on the computation o作者: 頌揚(yáng)國(guó)家 時(shí)間: 2025-3-26 06:31 作者: 索賠 時(shí)間: 2025-3-26 09:09
Book 1999nt resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs..This text considers the notions of relations, as found in log作者: Hyperlipidemia 時(shí)間: 2025-3-26 13:01 作者: Aerophagia 時(shí)間: 2025-3-26 17:38
Spam and its economic significance,tion is sketched. Three examples (‘serialise’, ‘wang’, and ‘eval’) demonstrate the relational/functional style in use. The list expressions of RELFUN‘s LISP implementation are presented in an extended PROLOG-like syntax.作者: BLA 時(shí)間: 2025-3-26 23:20
https://doi.org/10.1007/978-3-540-71750-8-functional clauses, SLV-resolution is introduced, which, e.g., flattens active expressions. The ..-operator is generalized analogously, e.g. by unnesting ground-clause premises. Soundness and completeness proofs for SLV-resolution naturally extend the corresponding results in logic programming.作者: Diluge 時(shí)間: 2025-3-27 02:05
A. C. Novick, leading to optimum size, cost, and power consumption, together with ease of system implementation. Truly concurrent multiband systems require many components to work on multiple bands simultaneously, including concurrent multiband switches. .Microwave and millimeter-wave integrated circuits using 作者: murmur 時(shí)間: 2025-3-27 07:39 作者: 分解 時(shí)間: 2025-3-27 10:10
https://doi.org/10.1007/978-3-030-58960-83D printing of optical components; Manufacturing of optical components; Additive manufacturing of opti作者: Basilar-Artery 時(shí)間: 2025-3-27 16:42
Parasite Antigens in Protection, Diagnosis and Escape: ,,ophylaxis. This chapter will be devoted mainly to work which has attempted to define and characterise parasite antigens important in the induction of protective immunity, and evasion of the host’s immune response.作者: connoisseur 時(shí)間: 2025-3-27 18:16
