书籍 Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con的封面

Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con

TPHOLs 2001

出版社

Springer-Verlag

出版时间

2001

ISBN

354042525X

标注页数

394 页

PDF页数

408 页

书籍介绍

在线购买PDF电子书

此书压缩包下载地址1 （176 MB）

此书压缩包下载地址2 （176 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书