Philanthropist 发表于 2025-3-21 19:52:10

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

noxious 发表于 2025-3-21 22:02:13

http://reply.papertrans.cn/92/9197/919675/919675_2.png

affect 发表于 2025-3-22 01:33:05

http://reply.papertrans.cn/92/9197/919675/919675_3.png

PHIL 发表于 2025-3-22 07:59:03

http://reply.papertrans.cn/92/9197/919675/919675_4.png

愤世嫉俗者 发表于 2025-3-22 09:25:40

https://doi.org/10.1007/11542384Coq; Isabelle; computer algebra systems; formal methods; formal reasoning systems; formal verification; fo

Dendritic-Cells 发表于 2025-3-22 15:53:05

http://reply.papertrans.cn/92/9197/919675/919675_6.png

lobster 发表于 2025-3-22 18:41:32

http://reply.papertrans.cn/92/9197/919675/919675_7.png

锯齿状 发表于 2025-3-23 00:51:28

Book 2006on of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog. .

反对 发表于 2025-3-23 01:48:11

http://reply.papertrans.cn/92/9197/919675/919675_9.png

语源学 发表于 2025-3-23 06:46:49

http://reply.papertrans.cn/92/9197/919675/919675_10.png
页: [1] 2 3 4
查看完整版本: Titlebook: The Seventeen Provers of the World; Foreword by Dana S. Freek Wiedijk Book 2006 Springer-Verlag Berlin Heidelberg 2006 Coq.Isabelle.comput