melancholy 发表于 2025-3-21 18:39:21

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

复习 发表于 2025-3-21 22:28:54

Proving and rewriting,n results include an extension of many-sorted equational logic to universal quantification over functions, some techniques for handling first order logic, and some structural induction principles. The OBJ language is used for illustration, and initiality is a recurrent theme.

CAND 发表于 2025-3-22 00:28:59

Algebraic and Logic Programming978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Obligatory 发表于 2025-3-22 05:58:09

0302-9743 Overview: 978-3-540-53162-3978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Fecal-Impaction 发表于 2025-3-22 11:40:09

http://reply.papertrans.cn/16/1528/152762/152762_5.png

压倒性胜利 发表于 2025-3-22 14:11:29

http://reply.papertrans.cn/16/1528/152762/152762_6.png

退潮 发表于 2025-3-22 17:44:51

http://reply.papertrans.cn/16/1528/152762/152762_7.png

Tortuous 发表于 2025-3-23 00:31:18

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152762.jpg

我没有强迫 发表于 2025-3-23 01:54:47

http://reply.papertrans.cn/16/1528/152762/152762_9.png

妨碍议事 发表于 2025-3-23 08:53:47

10楼
页: [1] 2 3 4
查看完整版本: Titlebook: Algebraic and Logic Programming; Second International Hélène Kirchner,Wolfgang Wechler Conference proceedings 1990 Springer-Verlag Berlin H