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

Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con

TPHOLs 2004

出版社

Springer-Verlag

出版时间

2004

ISBN

3540230173

标注页数

337 页

PDF页数

348 页

书籍介绍
在线购买PDF电子书