当前位置:在线查询网 > 图书大全 > Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics_图书大全


请输入要查询的图书:

可以输入图书全称,关键词或ISBN号

Theorem Proving in Higher Order Logics

副标题: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)

ISBN: 9783540664635

出版社: Springer

出版年: 1999-09-29

页数: 376

定价: USD 82.95

装帧: Paperback