Skip to contents

Baader, Franz [Editor]

The description logic handbook : theory, implementation, and applications - [2. ed., paperback ed.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2010
Baader, Franz [Editor]

The description logic handbook : theory, implementation, and applications - [2. ed.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, c 2007
Baader, Franz [Editor]

The description logic handbook : theory, implementation, and applications - [2. ed., repr.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2008
Baader, Franz [Editor] ; RTA 18 2007 Paris

Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26 - 28, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4533
Baader, Franz [Editor]

The description logic handbook : theory, implementation, and applications - [Reprint. (twice)]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2004
Baader, Franz [Editor]

The description logic handbook : theory, implementation, and applications - [4. print]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2005
Baader, Franz [Editor] ; LPAR 11 2005 Montevideo

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3452
Baader, Franz [Editor] ; CADE International Conference on Automated Deduction 19 2003 Miami Beach, Fla, CADE International Conference on Automated Deduction 19 2003 Miami Beach, Fla

Automated deduction : CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2741
Baader, Franz [Editor]

The description logic handbook : theory, implementation, and applications - [1. publ.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2003
Zarrieß, Benjamin [Author] ; Baader, Franz [Degree supervisor]; Sardina, Sebastian [Degree supervisor] Technische Universität Dresden

Verification of Golog programs over description logic actions

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 2. November 2017
Bonchino, Alberto [Author] ; Baader, Franz von [Other]

Materie als geronnener Geist : Studien zu Franz von Baader in den philosophischen Konstellationen seiner Zeit

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paderborn: Ferdinand Schöningh, 2014

Published in: Baaderiana ; 1
Baader, Franz [Editor]; Schulz, Klaus [Other] ; Gesellschaft von Freunden und Förderern der Universität München, Deutsche Forschungsgemeinschaft, Centrum für Informations- und Sprachverarbeitung München, International Workshop Frontiers of Combining Systems 1 1996 München

Frontiers of combining systems : first international workshop, Munich, March 1996

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Academic, 1996

Published in: Applied logic series ; 3
Sill, Bernhard [Author] ; Baader, Franz von [Other]

Androgynie und Geschlechtsdifferenz nach Franz von Baader : e. anthropologisch-ethische Studie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Regensburg: Pustet, 1986

Published in: Studien zur Geschichte der katholischen Moraltheologie ; 28
Schumacher, Ferdinand [Author] ; Baader, Franz von [Other]

Der Begriff der Zeit bei Franz von Baader

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiburg [Breisgau] [u.a.]: Alber, 1983

Published in: Symposion ; 69
Siegl, Josef [Author]; Siegl, Josef [Author] ; Baader, Franz von [Other]

Franz von Baader : ein Bild seines Lebens und Wirkens

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Bayer. Schulbuch-Verl., 1957
Baader, Franz von [Other]

Ankündigung: Franz von Baader's sämmtliche Werke

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Leipzig]: H. Bethmann, [1850]
Baader, Franz von [Author] ; Sauter, Johannes [Editor]; Baader, Joseph [Other]

Franz von Baaders Schriften zur Gesellschaftsphilosophie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Jena: Fischer, 1925

Published in: Herdflamme ; 14
Baader, Franz von [Author] ; Hoffmann, Franz [Editor]

Sämtliche Werke - [Systemat. geordnete, durch reiche Erl. von d. Hand d. Verf. bedeutend verm. vollst. Ausg. d. gedr. Schr. samt Nachlass, Biografie u. Briefwechsel - Neudr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aalen: Scientia-Verl., 1963-
Baader, Franz von [Author] ; Hoffmann, Franz [Editor]

Franz von Baader's Biographie und Briefwechsel : (mit dem Porträt und Facsimile F. v. Baader's)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Verlag von Herrmann Bethmann, 1857

Published in: Baader, Franz von: Franz von Baader's Sämmtliche Werke. ; 15
Baader, Franz von [Author] ; Hoffmann, Franz [Editor]

Franz von Baader's Gesammelte Schriften zur Naturphilosophie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Verlag von Herrmann Bethmann, 1852

Published in: Baader, Franz von: Franz von Baader's Sämmtliche Werke. ; 3

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication