
【书名】:《Lecture Notes in Artificial Intelligence 4603 Automated Deduction-CADE-21 21st International Conference on Automated Deduction Bremen,Germany,July 17-20,2007,,Springer-Verlag,2007》
【作者】:
【出版社】:
【时间】:
【页数】:522
【ISBN】:9783540735946
【SS码】:40368687