Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540730989
标注页数
245 页
PDF页数
258 页
书籍介绍
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540730989
标注页数
245 页
PDF页数
258 页