| Franz Baader 共有 6 項 | ||||
|
Introduction to Description Logic (Paperback)
Franz Baader, Cambridge University Press, 出版日期: 2017/04/07
|
||
|
Franz von Baaders sämtliche Werke: Systematisch geordnet (Paperback)
Franz Baader, Hansebooks, 出版日期: 2017/02/28
|
||
|
Description Logic Handbook (Paperback)
Franz Baader, Cambridge University Press, 出版日期: 2010/05/20
|
||
|
eBook: Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (DRM PDF)
Franz Baader, Springer Berlin Heidelberg, 出版日期: 2007/08/14, 系列: Lecture Notes in Computer Science
|
||
|
eBook: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Franz Baader, Springer Berlin Heidelberg, 出版日期: 2003/10/31, 系列: Lecture Notes in Computer Science
|
||
|
Term Rewriting and All That (Paperback)
Franz Baader, Cambridge University Press, 出版日期: 1999/08/05
|
||