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

BAADER: FERMENTA COGNITIONIS1

Philosophische Schriften - Band 4 ist ein unveränderter, hochwertiger Nachdruck der Originalausga...

Franz von Baaders sämtliche Werke - Systematisch geordnet ist ein unveränderter, hochwertiger Nac...

The first introductory textbook on description logics, relevant to computer science, knowledge re...

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

The first introductory textbook on description logics, relevant to computer science, knowledge re...

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

This volume contains the papers presented at the 11th International Conference on Logic for Progr...

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

Philosophische Schriften - Band 5 ist ein unveränderter, hochwertiger Nachdruck der Originalausga...

La première partie de cet ouvrage présente les enseignements secrets de Martinès de Pasqually, re...