Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.
11 Ebooks by Franz Baader
Franz Baader & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
…
PDF
English
DRM
€115.01
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 …
PDF
English
DRM
€57.44
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 …
PDF
English
DRM
€57.37
