Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Baader, Franz (10)
Calvanese, Diego (2)
Hanschke, Philipp (2)
Hollunder, Bernhard (2)
Nardi, Daniele (2)
Patel-Schneider, Peter F. (2)
A.H. Dediu (1)
A.M. Ionescu (1)
Baader, Franz [Verfasser] (1)
Bauer, Andreas (1)
more
Year:
2016 (1)
2015 (1)
2010 (2)
2007 (1)
2003 (1)
1995 (2)
1992 (2)
1991 (1)
Medium:
Print (7)
Online (4)
Type:
Article (5)
Book (3)
Miscellaneous (3)
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 11 of 11
1
Franz von Baader's sämtliche Werke
Baader, Franz
[Verfasser]. - Norderstedt : Hansebooks GmbH, 2016
DNB Subject Category Language
Show details
2
Matching trace patterns with regular policies
Baader, Franz
;
Bauer, Andreas
;
Tiu, Alwen
. - : Springer, 2015
BASE
Show details
3
The description logic handbook: theory, implementation and applications
Baader, Franz
;
Calvanese, Diego
;
MacGuinness, Deborah L.
. - Cambridge [u.a.] : Cambridge Univ. Press, 2010
Leibniz-Zentrum Allgemeine Sprachwissenschaft
Show details
4
Automata-Based Axiom Pinpointing
Baader, Franz
;
Peñaloza, Rafael
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
45 (2010) 2, 91-129
OLC Linguistik
Show details
5
Preface to Special Issue on Reasoning in Description Logics
Baader, Franz
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
39 (2007) 3, 245
OLC Linguistik
Show details
6
The description logic handbook : theory, implementation, and applications
Baader, Franz
(Hrsg.);
Nardi, Daniele
(Hrsg.);
Calvanese, Diego
(Hrsg.). - Cambridge : Cambridge U.P., 2003
BLLDB
UB Frankfurt Linguistik
Show details
7
Embedding Defaults into Terminological Knowledge Representation Formalisms
Baader, Franz
;
Hollunder, Bernhard
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
14 (1995) 1, 149-180
OLC Linguistik
Show details
8
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic
Baader, Franz
;
Hollunder, Bernhard
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
15 (1995) 1, 41-68
OLC Linguistik
Show details
9
Extensions of concept languages for a mechanical engineering application ...
Baader, Franz
;
Hanschke, Philipp
. - : Universität des Saarlandes, 1992
BASE
Show details
10
Extensions of concept languages for a mechanical engineering application
Baader, Franz
;
Hanschke, Philipp
. - 1992
BASE
Show details
11
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Bürckert, Hans-Jürgen
;
Baader, Franz
;
Nutt, Werner
. - 1991
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
1
IDS Mannheim
0
OLC Linguistik
4
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
1
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
1
Bibliographies
BLLDB
1
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
4
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern