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

Theorem Proving in Higher Order Logics_图书大全


请输入要查询的图书：

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

Theorem Proving in Higher Order Logics

ISBN: 9783540230175

出版年: 2004-10

页数: 336

定价: 542.40元

关键词：Theorem Proving in Higher Order Logics