Franz Baader

FB

13 featured booksFranz Baader

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL394139A

Featured books

Representative editions for works actually authored by this person.

TR
Image source: Open Library
Term Rewriting and Applications
Term Rewriting and Applications | 2008
Representative edition for this work grouping in the active catalog.
cover
TD
Image source: Open Library
The description logic handbook
The Description Logic Handbook | 2007
Representative edition for this work grouping in the active catalog.
cover
TD
Image source: Open Library
The Description Logic Handbook
The Description Logic Handbook | 2003
Representative edition for this work grouping in the active catalog.
cover
TD
Image source: Open Library
The description logic handbook
The description logic handbook | 2003
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for programming artificial intelligence and reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2003
Representative edition for this work grouping in the active catalog.
cover
AD
Image source: Open Library
Automated Deduction - CADE-19
Automated Deduction - CADE-19 | 2003
Representative edition for this work grouping in the active catalog.
cover
TR
Image source: Open Library
Term Rewriting & All That
Term Rewriting & All That | 1999
Representative edition for this work grouping in the active catalog.
cover
TR
Image source: Open Library
Term rewriting and all that
Term rewriting and all that | 1998
Representative edition for this work grouping in the active catalog.
cover
Fermenta Cognitionis, Heft 1Franz Baader
FC
Fermenta Cognitionis, Heft 1
Fermenta Cognitionis, Heft 1 | 2019
Representative edition for this work grouping in the active catalog.
no cover
Introduction to Description LogicFranz Baader
IT
Introduction to Description Logic
Introduction to Description Logic | 2017
Representative edition for this work grouping in the active catalog.
no cover
Frontiers of combining systemsFranz Baader
FO
Frontiers of combining systems
Frontiers of combining systems | 1996
Representative edition for this work grouping in the active catalog.
no cover
Fermenta CognitionisFranz Baader
FC
Fermenta Cognitionis
Fermenta Cognitionis | 1900
Representative edition for this work grouping in the active catalog.
no cover
Ueber die Ekstase oder das Verz...Franz Baader
UD
Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt
Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt | 1818
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Term Rewriting and Applications
Representative edition published 2008
Open Work
The description logic handbook
Representative edition published 2007
Open Work
The Description Logic Handbook
Representative edition published 2003
Open Work
The description logic handbook
Representative edition published 2003
Open Work
Logic for programming artificial intelligence and reasoning
Representative edition published 2003
Open Work
Automated Deduction - CADE-19
Representative edition published 2003
Open Work
Term Rewriting & All That
Representative edition published 1999
Open Work
Term rewriting and all that
Representative edition published 1998
Open Work
Fermenta Cognitionis, Heft 1
Representative edition published 2019
Open Work
Introduction to Description Logic
Representative edition published 2017
Open Work
Frontiers of combining systems
Representative edition published 1996
Open Work
Fermenta Cognitionis
Representative edition published 1900
Open Work
Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt
Representative edition published 1818
Open Work

Franz Baader

Overview

Catalog identity

Featured books

Works in catalog