Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.
11 หนังสืออิเล็กทรอนิกส์โดย Franz Baader
Franz Baader & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
…
PDF
อังกฤษ
DRM
€115.42
Franz Baader: Automated Deduction – CADE-19
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the foll …
PDF
อังกฤษ
DRM
€57.90
Franz Baader & Gerhard Brewka: KI 2001: Advances in Artificial Intelligence
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelli …
PDF
อังกฤษ
DRM
€57.84
