автор: Franz Baader

поддержка
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 & Diego Calvanese: Description Logic Handbook
PDF
английский
DRM
€109.50
Franz Baader & Diego Calvanese: Description Logic Handbook
PDF
английский
DRM
€79.96
Franz Baader & Tobias Nipkow: Term Rewriting and All That
PDF
английский
DRM
€65.55
Franz Baader & Tobias Nipkow: Term Rewriting and All That
EPUB
английский
DRM
€65.33
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
Franz Baader: Term Rewriting and Applications
PDF
английский
DRM
€57.96
Franz Baader: Fermenta cognitionis, Heft 1.
PDF
немецкий
DRM
€109.95