|
|
Franz von Baaders sämtliche Werke: Systematisch geordnet (Paperback)
售價:
$529.00
購買後立即進貨, 約需 18-25 天
|
|
|
|
|
|
出版社: |
Hansebooks
|
出版日期: |
2017/02/28 |
重量: |
1.01 kg |
ISBN: |
9783743677432 |
|
商品簡介 |
Franz von Baaders s |
|
|
|
Franz Baader 作者作品表
Introduction to Description Logic (Paperback)
Franz von Baaders sämtliche Werke: Systematisch geordnet (Paperback)
Description Logic Handbook (Paperback)
eBook: Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (DRM PDF)
eBook: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Term Rewriting and All That (Paperback)
|
|
|