Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

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

31 - 40 von 189

	31	Completing Description Logic Knowledge Bases using Formal Concept Analysis Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	32	Computing Boundaries for Reasoning in Sub-Ontologies Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	33	Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	34	Computing Least Common Subsumer in Description Logics with Existential Restrictions Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	35	Computing Minimal EL-Unifiers is Hard Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	36	Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes (Extended Version) Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	37	Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	38	Concept Descriptions with Set Constraints and Cardinality Constraints Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	39	Connecting many-sorted theories Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	40	Constructing SNOMED CT Concepts via Disunification Baader, Franz. - Dresden : Technische Universität Dresden, 2022

31 - 40 von 189

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen