Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Artikel

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

1 - 10 von 11

	1	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	2	On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	3	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains Baader, Franz. - Dresden : Technische Universität Dresden, 2024
	4	Formalizing biomedical concepts from textual definitions Petrova, Alina. - Dresden : Technische Universität Dresden, 2016
	5	Dismatching and Local Disunification in EL Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
	6	Combination problems for commutative/monoidal theories or how algebra can help in equational unification Enthalten in Applicable algebra in engineering, communication and computing Bd. 7, Nr. 4, date:7.1996: 309-337
	7	Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic Enthalten in Journal of automated reasoning Bd. 15, Nr. 1, date:2.1995: 41-68
	8	Embedding defaults into terminological knowledge representation formalisms Enthalten in Journal of automated reasoning Bd. 14, Nr. 1, date:2.1995: 149-180
	9	Am empirical analysis of optimization techniques for terminological representation systems Enthalten in Applied intelligence Bd. 4, Nr. 2, date:5.1994: 109-132
	10	On the expressivity of feature logics with negation, functional uncertainty, and sort equations Enthalten in Journal of logic, language and information Bd. 2, Nr. 1, date:3.1993: 1-18

1 - 10 von 11

Alle Materialarten > Artikel (11)

Alle Standorte

Aktionen

Administration