发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

Paulson, Lawrence C.
  • 期刊名称Journal of Automated Reasoning
  • 作者Paulson, Lawrence C.
  • 卷第55卷
  • 期第1期
  • 印刷ISSN0168-7433
  • 电子ISSN1573-0670
  • 文件大小6100.25KB
  • 发表时间2015-6
  • DOI10.1007/s10817-015-9322-8
  • 页码1-37
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯