AN INTRODUCTION TO DESCRIPTION LOGIC (HB)

AN INTRODUCTION TO DESCRIPTION LOGIC (PB)

AUTOMATED DEDUCTION - CADE-19 (PB)

FERMENTA COGNITIONIS, HEFT 1. (HB)

FRANZ BAADER'S KLEINE SCHRIFTEN

FRANZ VON BAADER'S SAMTLICHE WERKE

FRONTIERS OF COMBINING SYSTEMS (HB)

FRONTIERS OF COMBINING SYSTEMS (PB)

GRUNDZUGE DER SOZIETATS-PHILOSOPHIE (CLASSIC REPRINT)

KI 2001 ADVANCES IN ARTIFICIAL INTELLIGENCE (PB)

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)

PHILOSOPHISCHE SCHRIFTEN UND AUFS TZE, V (PB)

PHILOSOPHISCHE SCHRIFTEN UND AUFS TZE, V (PB)

REVISION DER PHILOSOPHEME DER HEGEL'SCHEN SCHULE BEZUGLICH AUF DAS CHRISTENTHUM (PB)

TERM REWRITING AND ALL THAT

TERM REWRITING AND ALL THAT (HB)

TERM REWRITING AND ALL THAT (PB)

TERM REWRITING AND APPLICATIONS (PB)

THE DESCRIPTION LOGIC HANDBOOK

THE DESCRIPTION LOGIC HANDBOOK (PB)

UEBER DAS VERHALTEN DES WISSENS ZUM GLAU (PB)

UEBER DAS VERHALTEN DES WISSENS ZUM GLAUBEN (PB)

UEBER DIE VERNUNFTIGKEIT DER DREI FUNDAMENTALDOCTRINEN DES CHRISTENTHUMS.

UEBER MEHRERE IN DER PHILOSOPHIE NOCH GELTENDE UNPHILOSOPHISCHE BEGRIFFE ODER VORSTELLUNGEN, MIT BERUCKSICHTIGUNG ALTERER PHILOSOPHEME, BESONDERS DES PHILOSOPHUS TEUTONICUS

VORLESUNGEN BER EINE K NFTIGE THEORIE D (PB)

VORLESUNGEN UBER RELIGIOSE PHILOSOPHIE IM GEGENSATZE DER IRRELIGIOSEN, ALTERER UND NEUEREN ZEIT. I HELFT, EINLEITENDER THEIL ODER VOM ERKENNEN UBERHAU