che-chandler.de

Die Supernasen

Die Supernasen ist einer der großen Kassenerfolge des deutschen Kinos der 80er-Jahre. Millionen p...

Description Logic Handbook

Description logics are embodied in several knowledge-based systems and are used to develop variou...

Description Logic Handbook

Description Logics are a family of knowledge representation languages that have been studied exte...

Term Rewriting and All That

This textbook offers a unified and self-contained introduction to the field of term rewriting. It...

Introduction to Description Logic

Description logics (DLs) have a long tradition in computer science and knowledge representation, ...

Term Rewriting and All That

This textbook offers a unified and self-contained introduction to the field of term rewriting. It...

Introduction to Description Logic

Description logics (DLs) have a long tradition in computer science and knowledge representation, ...

Automated Deduction - CADE-19

This volume contains the papers presented at the 19th International Conference on Automated Deduc...

Term Rewriting and Applications

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France...

Logic for Programming, Artificial Intelligence, and Reasoning

KI 2001: Advances in Artificial Intelligence

This volume contains the contributions to the Joint German Austrian Con- rence on Arti?cial Intel...

Fermenta cognitionis, Heft 1.