找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Logic Programming ‘86; Proceedings of the 5 Eiiti Wada Conference proceedings 1987 Springer-Verlag Berlin Heidelberg 1987 Extension.Prolog.

[复制链接]
楼主: Espionage
发表于 2025-3-23 12:47:13 | 显示全部楼层
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:39 | 显示全部楼层
发表于 2025-3-23 19:47:36 | 显示全部楼层
发表于 2025-3-24 00:19:41 | 显示全部楼层
发表于 2025-3-24 05:43:35 | 显示全部楼层
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:58 | 显示全部楼层
发表于 2025-3-24 14:07:53 | 显示全部楼层
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
发表于 2025-3-24 18:01:22 | 显示全部楼层
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:17 | 显示全部楼层
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:16 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-27 19:32
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表