Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540745907
标注页数
400 页
PDF页数
411 页
书籍介绍
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540745907
标注页数
400 页
PDF页数
411 页