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: 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.78
