bile-acids
发表于 2025-3-21 19:46:38
书目名称Logics in Artificial Intelligence影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588180<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588180<br><br> <br><br>
FLIP
发表于 2025-3-21 23:04:05
http://reply.papertrans.cn/59/5882/588180/588180_2.png
nugatory
发表于 2025-3-22 03:26:40
Holger Sturm,Nobu-Yuki Suzuki,Frank Wolter,Michael Zakharyaschev
损坏
发表于 2025-3-22 07:09:29
Manuel Ojeda-Aciego,Inma P. Guzmán,Luís PereiraIncludes supplementary material:
aptitude
发表于 2025-3-22 11:14:04
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588180.jpg
包租车船
发表于 2025-3-22 13:08:51
The , Approach: Integrating Object Oriented Design and Formal VerificationThis paper reports on the ongoing KeY project aimed at bridging the gap between (a) object-oriented software engineering methods and tools and (b) deductive verification. A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
Inculcate
发表于 2025-3-22 17:27:32
http://reply.papertrans.cn/59/5882/588180/588180_7.png
VAN
发表于 2025-3-22 23:00:41
Logics in Artificial Intelligence978-3-540-40006-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
谄媚于性
发表于 2025-3-23 04:12:19
0302-9743 Overview: Includes supplementary material: 978-3-540-41131-4978-3-540-40006-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
陶醉
发表于 2025-3-23 08:21:24
http://reply.papertrans.cn/59/5882/588180/588180_10.png