Auteur: Franz Baader

Ondersteuning
Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.




11 Ebooks door 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
Engels
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
Engels
DRM
€57.84