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