sesamoiditis
发表于 2025-3-21 18:05:41
书目名称Models, Algorithms, Logics and Tools影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0636859<br><br> <br><br>书目名称Models, Algorithms, Logics and Tools读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0636859<br><br> <br><br>
不可知论
发表于 2025-3-21 22:58:09
0302-9743concurrent, and probabilistic models of computation, logic .This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major cont
嫌恶
发表于 2025-3-22 01:33:09
Book 2017tains 32 papers that feature the broad range of Kim Guldstrand Larsen‘s research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation..
协议
发表于 2025-3-22 05:03:45
http://reply.papertrans.cn/64/6369/636859/636859_4.png
CLOWN
发表于 2025-3-22 11:18:17
Luca Aceto,Giorgio Bacci,Radu MardareContains papers dedicated to Kim Guldstrand Larsen.Features the broad range of Kim Guldstrand Larsen‘s research topics, including real-time, concurrent, and probabilistic models of computation, logic
蛙鸣声
发表于 2025-3-22 14:10:47
http://reply.papertrans.cn/64/6369/636859/636859_6.png
AORTA
发表于 2025-3-22 20:59:57
https://doi.org/10.1007/978-3-319-63121-9software engineering; semantics; model checking; artificial intelligence; specifications; verification; au
绊住
发表于 2025-3-22 23:52:23
978-3-319-63120-2Springer International Publishing AG 2017
fleeting
发表于 2025-3-23 03:53:18
Models, Algorithms, Logics and Tools978-3-319-63121-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
nutrition
发表于 2025-3-23 09:03:52
http://reply.papertrans.cn/64/6369/636859/636859_10.png