Zum Inhalt springen

Baader, Franz [HerausgeberIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4533
Baader, Franz [HerausgeberIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3452
Baader, Franz [HerausgeberIn] ; KI 24 2001 Wien

Advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19 - 21, 2001 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2174
Baader, Franz [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2741
Baader, Franz [HerausgeberIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Verification of Golog programs over description logic actions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden, 2. November 2017
Bonchino, Alberto [VerfasserIn] ; Baader, Franz von [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Paderborn: Ferdinand Schöningh, 2014

Erschienen in: Baaderiana ; 1
Baader, Franz [HerausgeberIn]; Schulz, Klaus [Sonstige Person, Familie und Körperschaft] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Applied logic series ; 3
Sill, Bernhard [VerfasserIn] ; Baader, Franz von [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Regensburg: Pustet, 1986

Erschienen in: Studien zur Geschichte der katholischen Moraltheologie ; 28
Schumacher, Ferdinand [VerfasserIn] ; Baader, Franz von [Sonstige Person, Familie und Körperschaft]

Der Begriff der Zeit bei Franz von Baader

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Symposion ; 69
Siegl, Josef [VerfasserIn]; Siegl, Josef [VerfasserIn] ; Baader, Franz von [Sonstige Person, Familie und Körperschaft]

Franz von Baader : ein Bild seines Lebens und Wirkens

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München: Bayer. Schulbuch-Verl., 1957
Baader, Franz von [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Leipzig]: H. Bethmann, [1850]
Baader, Franz von [VerfasserIn] ; Sauter, Johannes [HerausgeberIn]; Baader, Joseph [Sonstige Person, Familie und Körperschaft]

Franz von Baaders Schriften zur Gesellschaftsphilosophie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Jena: Fischer, 1925

Erschienen in: Herdflamme ; 14
Baader, Franz von [VerfasserIn] ; Hoffmann, Franz [HerausgeberIn]

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.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aalen: Scientia-Verl., 1963-
Baader, Franz von [VerfasserIn] ; Hoffmann, Franz [HerausgeberIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Verlag von Herrmann Bethmann, 1857

Erschienen in: Baader, Franz von: Franz von Baader's Sämmtliche Werke. ; 15

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr