大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Kohlhase 的图书(共3本)

KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings

0
索取号：
作者：Freksa、 Christian.、Kohlhase、 Michael.、Schill、 Kerstin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

OMDoc-An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy

0
索取号：
作者：Kohlhase、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

0
索取号：
作者：Kohlhase、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.