rupture 发表于 2025-3-21 16:15:11

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

GEAR 发表于 2025-3-21 21:10:11

http://reply.papertrans.cn/83/8234/823381/823381_2.png

ETCH 发表于 2025-3-22 03:16:20

http://reply.papertrans.cn/83/8234/823381/823381_3.png

photopsia 发表于 2025-3-22 05:31:48

http://reply.papertrans.cn/83/8234/823381/823381_4.png

增强 发表于 2025-3-22 10:04:07

http://reply.papertrans.cn/83/8234/823381/823381_5.png

阴谋小团体 发表于 2025-3-22 16:58:09

Algebraic Model Management: A SurveyWe survey the field of model management and describe a new model management approach based on algebraic specification.

闯入 发表于 2025-3-22 18:29:17

Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus. Elementary definitions of probability theory are restated in this framework.

壕沟 发表于 2025-3-22 23:05:37

http://reply.papertrans.cn/83/8234/823381/823381_8.png

CRATE 发表于 2025-3-23 05:20:10

Recent Trends in Algebraic Development Techniques978-3-319-72044-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

MUMP 发表于 2025-3-23 08:43:09

http://reply.papertrans.cn/83/8234/823381/823381_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Recent Trends in Algebraic Development Techniques; 23rd IFIP WG 1.3 Int Phillip James,Markus Roggenbach Conference proceedings 2017 IFIP In