Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG

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 30

	1	A multi-dimensional terminological knowledge representation language Baader, Franz. - Saarbrücken : Max-Planck-Inst. für Informatik, 1995
	2	Working notes of the KI'95 Workshop: KRDB'95 - Reasoning about structured objects Workshop KRDB (1995 : Bielefeld). - Kaiserslautern : DFKI, 1995
	3	International Workshop on Description Logics International Workshop on Description Logics (1994 : Bonn). - Kaiserslautern : DFKI, 1994
	4	On the combination of symbolic constraints, solution domains, and constraint solvers Baader, Franz. - München : CIS, [1994]
	5	Terminological logics with modal operators Baader, Franz. - Kaiserslautern : DFKI, 1994
	6	Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects Workshop KRDB (1994 : Saarbrücken). - Kaiserslautern : DFKI, 1994
	7	A multi-dimensional terminological knowledge representation language Baader, Franz. - Saarbrücken : MPI Informatik, 1993, Preliminary version
	8	A semantics for open normal defaults via a modified preferential approach Baader, Franz. - Kaiserslautern : DFKI, 1993
	9	An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on" Kaiserslautern : DFKI, 1993
	10	Combination techniques and decision problems for disunification Baader, Franz. - München : CIS, [1993]

1 - 10 von 30

Alle Materialarten

Bücher (30)

Alle Kataloge/Sammlungen > Teilbestand nach VGG (30)

Alle Standorte

Aktionen