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

Modeling and Using Context [electronic resource] : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

0
索取号：
作者：Beigl、 Michael.、Christiansen、 Henning.、Roth-Berghofer、 Thomas R.、Kofod-Petersen、 Anders.、Coventry、 Kenny R.、Schmidtke、 Hedda R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

0
索取号：
作者：Berghofer、 Stefan.、Nipkow、 Tobias.、Urban、 Christian.、Wenzel、 Makarius.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

0
索取号：
作者：Dengel、 Andreas R.、Berns、 Karsten.、Breuel、 Thomas M.、Bomarius、 Frank.、Roth-Berghofer、 Thomas R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Modeling and Using Context [electronic resource] : 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

0
索取号：
作者：Kokinov、 Boicho.、Richardson、 Daniel C.、Roth-Berghofer、 Thomas R.、Vieu、 Laure.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

0
索取号：
作者：Roth-Berghofer、 Thomas R.、G枚ker、 Mehmet H.、G眉venir、 H. Altay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Modeling and Retrieval of Context [electronic resource] : Second International Workshop, MRC 2005, Edinburgh, UK, July 31鈥揂ugust 1, 2005, Revised Selected Papers

0
索取号：
作者：Roth-Berghofer、 Thomas R.、Schulz、 Stefan.、Leake、 David B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers

0
索取号：
作者：Althoff、 Klaus-Dieter.、Dengel、 Andreas.、Bergmann、 Ralph.、Nick、 Markus.、Roth-Berghofer、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.