LEVEE 发表于 2025-3-21 17:32:49

书目名称Computer Science Logic影响因子(影响力)<br>        http://impactfactor.cn/2024/if/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic影响因子(影响力)学科排名<br>        http://impactfactor.cn/2024/ifr/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic网络公开度<br>        http://impactfactor.cn/2024/at/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic网络公开度学科排名<br>        http://impactfactor.cn/2024/atr/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic被引频次<br>        http://impactfactor.cn/2024/tc/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic被引频次学科排名<br>        http://impactfactor.cn/2024/tcr/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic年度引用<br>        http://impactfactor.cn/2024/ii/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic年度引用学科排名<br>        http://impactfactor.cn/2024/iir/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic读者反馈<br>        http://impactfactor.cn/2024/5y/?ISSN=BK0233769<br><br>        <br><br>书目名称Computer Science Logic读者反馈学科排名<br>        http://impactfactor.cn/2024/5yr/?ISSN=BK0233769<br><br>        <br><br>

沙文主义 发表于 2025-3-21 21:56:49

http://reply.papertrans.cn/24/2338/233769/233769_2.png

愤怒历史 发表于 2025-3-22 02:28:03

http://reply.papertrans.cn/24/2338/233769/233769_3.png

Hemodialysis 发表于 2025-3-22 07:42:28

http://reply.papertrans.cn/24/2338/233769/233769_4.png

缓解 发表于 2025-3-22 10:29:24

The complexity of adaptive error-correcting codes,

Esophagus 发表于 2025-3-22 13:06:47

http://reply.papertrans.cn/24/2338/233769/233769_6.png

Esophagus 发表于 2025-3-22 17:36:57

A formal operational semantics for languages of type Prolog III,f the standard Prolog algebras developed in . In particular we show how our method can be used for a precise but simple method to handle specification problems connected to the freeze predicate.

ALIBI 发表于 2025-3-22 22:04:54

Efficiency considerations on goal-directed forward chaining for logic programs,ral but finite set of link clauses. We show that GDFC-resolution is sound and complete for definite programs. We discuss the efficiency of GDFC-resolution comparing it with SLD-resolution and present some experimental results.

fallible 发表于 2025-3-23 03:30:55

http://reply.papertrans.cn/24/2338/233769/233769_9.png

幸福愉悦感 发表于 2025-3-23 09:18:25

http://reply.papertrans.cn/24/2338/233769/233769_10.png
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Computer Science Logic; 4th Workshop, CSL ‘9 Egon Börger,Hans Kleine Büning,Wolfgang Schönfeld Conference proceedings 1991 Springer-Verlag