Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Ergebnis der Suche nach:
"131845098"
im Bestand: Gesamter Bestand
21 - 30 von 189
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
21
A New n-ary Existential Quantifier in Description Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
22
Adding Causal Relationships to DL-based Action Formalisms
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
23
Adding Threshold Concepts to the Description Logic EL
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
24
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
25
Approximate Unification in the Description Logic FL₀
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
26
Approximately Solving Set Equations
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
27
Approximation in Description Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
28
Axiom Pinpointing in General Tableaux
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
29
Blocking and Pinpointing in Forest Tableaux
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
30
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
21 - 30 von 189
Alle Materialarten
Bücher (37)
Online Ressourcen (151)
Artikel (11)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (30)
Hochschulschriften (9)
Alle Standorte
Frankfurt (186)
Leipzig (188)
Online (frei zugänglich) (114)
Alle Normdaten
Personen (1)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration