The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...

This volume contains the elaborated and harmonized versions of seven lectures given at the first ...

Dieses Buch bietet eine gut verständliche und umfassende Lebenshilfe auf hohem Niveau. Es unterst...

Leonhard Wolfgang Bibel (*1938) gilt als einer der Begründer der Künstlichen Intelligenz (KI) in ...

We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect an...

Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d...

Since both the coments and the structure of the book appeared to be successful, only minor change...

Unsere Zeit ist geprägt von immer komplexeren Systemen und Mechanismen. Gemeint sind die natürlic...

1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...

Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application...

The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...

This volume contains the elaborated and harmonized versions of seven lectures given at the first ...