南京工程学院

机器证明的逻辑推定

责任者： 李娜 

  • 出版信息：科学出版社 / 2023.6
  • ISBN：978-7-03-075624-4
预约
委托
评论
书架
馆藏信息

O141/73

总馆 — 科技图书借阅Ⅲ室

  • 馆藏(1) / 可借(1)

首页

我的图书馆