Lutz, Carsten.

概要

作品:	1 作品在 3 項出版品 1 種語言

書目資訊

KI 2014: Advances in Artificial Intelligence = 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings / by: Lutz, Carsten.; Thielscher, Michael.; SpringerLink (Online service) (書目-電子資源)

Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday / by: Lutz, Carsten.; SpringerLink (Online service) (書目-電子資源)

Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: Lutz, Carsten.; Ranise, Silvio.; SpringerLink (Online service) (書目-電子資源)

Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / by: Holldobler, Steffen, (1957-); Lutz, Carsten.; Wansing, H.; Wansing, Heinrich.; SpringerLink (Online service); JELIA 2008 ((2008 :) (書目-語言資料,印刷品)

主題