派博傳思國際中心

標(biāo)題: Titlebook: Logic Programming ‘86; Proceedings of the 5 Eiiti Wada Conference proceedings 1987 Springer-Verlag Berlin Heidelberg 1987 Extension.Prolog. [打印本頁]

作者: Espionage    時間: 2025-3-21 17:04
書目名稱Logic Programming ‘86影響因子(影響力)




書目名稱Logic Programming ‘86影響因子(影響力)學(xué)科排名




書目名稱Logic Programming ‘86網(wǎng)絡(luò)公開度




書目名稱Logic Programming ‘86網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logic Programming ‘86被引頻次




書目名稱Logic Programming ‘86被引頻次學(xué)科排名




書目名稱Logic Programming ‘86年度引用




書目名稱Logic Programming ‘86年度引用學(xué)科排名




書目名稱Logic Programming ‘86讀者反饋




書目名稱Logic Programming ‘86讀者反饋學(xué)科排名





作者: 鄙視    時間: 2025-3-21 23:23
Kiyoshi AkamaHA, ERC und AAOP ..Typische Fallbeispiele aus der Praxis ..Medikamente und ihre Dosierungen bei Kindern .Zum schnellen Nachschlagen in der Praxis?– für alle Rettungssanit?ter, Rettungsassistenten und angehenden Not?rzte?– der unentbehrliche Begleiter für den Ernstfall bei Kindern.978-3-540-26495-8
作者: GRILL    時間: 2025-3-22 02:23

作者: exophthalmos    時間: 2025-3-22 05:30

作者: 點燃    時間: 2025-3-22 09:30

作者: PACK    時間: 2025-3-22 13:54
Hideaki Komatsu,Naoyuki Tamura,Yasuo Asakawa,Toshiaki Kurokawa
作者: 運氣    時間: 2025-3-22 17:33
kranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma
作者: STENT    時間: 2025-3-22 23:28
Kiyoshi Akamakranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma
作者: 洞穴    時間: 2025-3-23 02:45
Toramatsu Shintani,Yoshinori Katayama,Kunihiko Hiraishi,Mitsuhiko Todakranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma
作者: 擴(kuò)張    時間: 2025-3-23 07:17

作者: Fsh238    時間: 2025-3-23 12:47
Y. Ohara,S. Torii,E. Ono,M. Kishishita,J. Tanaka,T. Miyazakikranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma
作者: 忍耐    時間: 2025-3-23 14:16

作者: Ceremony    時間: 2025-3-23 19:47

作者: 過份    時間: 2025-3-24 00:19

作者: certain    時間: 2025-3-24 05:43
A foundation of reasoning by analogy: Analogical union of logic programs,rms of logic programming. We also introduce a notion of analogical union of logic programs by which we characterize the reasoning. Then we can regard the reasoning as a deduction from the analogical union. Based on this characterization, we present a general framework which is useful for discussing
作者: 投票    時間: 2025-3-24 09:52

作者: 陶器    時間: 2025-3-24 14:07
Programming in modal logic: An extension of PROLOG based on modal logic,al interpretation defines a computational procedure for the language. This is done within the framework of logic programming and is one of extensions of PROLOG based on modal logic. Further, we will demonstrate some advantages of the extension such as modurality, hierarchy or structure of logic prog
作者: emulsify    時間: 2025-3-24 18:01
On parallel programming methodology in GHC,an express basic constructs of parallel processing such as communication and synchronization very simply, but we have not yet had enough experiences with parallel programming in GHC. By programming a proof procedure of temporal logic in Prolog and GHC, we compare the thinking style in sequential pro
作者: 全面    時間: 2025-3-24 22:39
An optimizing prolog compiler,ated code attained so far is efficient enough to gain more than 1 MEGA LIPS on IBM 3090. One of the specialities of the compiler is in the intermediate Virtual Prolog Machine Code, which enhanced efficiency and portability. Another advantage of the compiler is to generate PL.8 code which can be used
作者: 入會    時間: 2025-3-25 02:28

作者: 有發(fā)明天才    時間: 2025-3-25 06:29

作者: infelicitous    時間: 2025-3-25 11:28

作者: Madrigal    時間: 2025-3-25 12:15

作者: 留戀    時間: 2025-3-25 16:36

作者: 一美元    時間: 2025-3-25 21:30
Logic interface system on navigational database systems, can be used as a common interface on heterogeneous database systems in distributed database systems. We show a refutation procedure which can reduce the search space by avoiding meaningless backtracking and redundant refutations.
作者: 可互換    時間: 2025-3-26 00:46
A framework for interactive problem solving based on interactive query revision,ogic programming, which we call interactive query revision. Interactive query revision allows a user to modify queries and hypotheses and to act as a part of the inference engine, in addition to entering queries incrementally. We apply interactive query revision to an interactive LSI layout system.
作者: constitutional    時間: 2025-3-26 05:24

作者: 微塵    時間: 2025-3-26 12:28

作者: 坦白    時間: 2025-3-26 14:24
An optimizing prolog compiler,e Virtual Prolog Machine Code, which enhanced efficiency and portability. Another advantage of the compiler is to generate PL.8 code which can be used on multiple machines including the IBM 370 and IBM RT-PC. We also introduce some declarative extensions , which are compatible with Prolog and powerful enough to produce efficient code.
作者: 加劇    時間: 2025-3-26 17:49
A prolog based object oriented language SPOOL and its compiler, but also the dynamic method search. Internal representations of methods and states of objects are also presented so that the above techniques can be realized. Finally, this language processor is evaluated and compared with an earlier interpreter which we developed.
作者: ellagic-acid    時間: 2025-3-26 23:34
Conference proceedings 1987language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
作者: GRE    時間: 2025-3-27 01:53

作者: ODIUM    時間: 2025-3-27 07:48
Inheritance hierarchy mechanism in prolog,H structure, such as the exclusiveness among brother classes in IH. CBVs and the fast unification method improve the inferential efficiency greatly by suppressing combinatorial explosions, which might be caused by exhaustive searches in the inference in other systems.
作者: 寡頭政治    時間: 2025-3-27 10:55

作者: 帶子    時間: 2025-3-27 15:42
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587899.jpg
作者: 原諒    時間: 2025-3-27 18:14

作者: Implicit    時間: 2025-3-27 23:05

作者: 孤僻    時間: 2025-3-28 03:31
Logic Programming ‘86978-3-540-47712-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
作者: strain    時間: 2025-3-28 06:47

作者: forthy    時間: 2025-3-28 12:50

作者: aphasia    時間: 2025-3-28 16:12

作者: Ondines-curse    時間: 2025-3-28 19:42

作者: CHART    時間: 2025-3-29 01:41
Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multpendent and reduces access conflict, although it accompanies a substantial copying overhead. To cope with this overhead, two new execution mechanisms are proposed and evaluated. These methods are effective especially to raise parallelism quickly and to exploit other kind of parallelism in programs where OR-parallelism is not high.
作者: 取回    時間: 2025-3-29 05:53
- Fleng Prolog - The language which turns supercomputers into parallel prolog machines,ain topic is the general purpose language FLENG Prolog. This is a logic programming language for arbitrary architectures, but is especially designed to run efficiently on vector architectures. The most important contribution of the paper is the described combination of the language FLENG Prolog with vector architectures.
作者: NATAL    時間: 2025-3-29 08:32
Abdominopelvic Trauma procedures, opened a wide range of options in trauma management that increased the rate of patients treated non-operatively. New classification systems are not anchored only on the anatomical aspect of injuries but also on their effect on the physiological status of the patient. The present chapter
作者: 太空    時間: 2025-3-29 11:54

作者: Ceremony    時間: 2025-3-29 16:06

作者: deriver    時間: 2025-3-29 23:16
The Dual Lenses of Japanese Civilisationg various aspects of everyday life, which have transformed the values and practices of the Japanese, they left behind an enduring legacy that is still drawn on centuries later. Subsequently, examining these two civilisational lenses establishes Japan as a civilisation . that has developed a distinct trajectory.
作者: Verify    時間: 2025-3-30 00:51

作者: semble    時間: 2025-3-30 06:42

作者: 割公牛膨脹    時間: 2025-3-30 09:04

作者: MELD    時間: 2025-3-30 16:27
Amori Yee Mikami,Hongyuan Qi,Caroline E. Millerooting and avoiding known pitfalls..?.Authoritative and practical,. Protein Nanotechnology Protocols Instruments and Applications., .Second Edition. seeks to provide an overview of this multi-faceted field and 978-1-4939-5878-8978-1-62703-354-1Series ISSN 1064-3745 Series E-ISSN 1940-6029
作者: 輕信    時間: 2025-3-30 18:35
Wissenschaftskommunikation im Wandelnen, werden sie zuweilen dafür beneidet, manchmal bel?chelt — meist von den bl??lichen Epigonen der ?Instant Art ?ra?, die bereits erwerbsunf?hig werden, wenn ihrem Mac einmal ein Chip durchbrennt oder die Praktikantin mit dem Letrasetkatalog.
作者: 親屬    時間: 2025-3-30 21:04

作者: 惹人反感    時間: 2025-3-31 04:17





歡迎光臨 派博傳思國際中心 (http://www.pjsxioz.cn/) Powered by Discuz! X3.5
丹巴县| 枣庄市| 龙胜| 新民市| 安图县| 泾源县| 浦城县| 乌兰县| 左权县| 武汉市| 汝阳县| 南部县| 密云县| 行唐县| 体育| 怀仁县| 通道| 苍山县| 开化县| 大洼县| 边坝县| 新蔡县| 屏南县| 元朗区| 榆中县| 通许县| 满洲里市| 垣曲县| 秭归县| 奉贤区| 楚雄市| 博罗县| 革吉县| 颍上县| 武隆县| 扎囊县| 北流市| 香格里拉县| 靖州| 蒲城县| 古丈县|