Katalog der Deutschen Nationalbibliothek

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

Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.

Ergebnis der Suche nach: "132390590"
im Bestand: Gesamter Bestand

11 - 20 von 23

	11	Proceedings / International Workshop on Terminological Logics International Workshop on Terminological Logics (2 : 1991 : Dagstuhl). - [Heidelberg] : IWBS, 1991
	12	Reasoning and revision in hybrid representation systems Nebel, Bernhard. - Berlin : Springer, 1990
	13	Terminological reasoning and information systems Nebel, Bernhard. - Berlin : Techn. Univ., Projektgruppe KIT, 1990
	14	A knowledge level analysis of belief revision Nebel, Bernhard. - [Heidelberg] : IWBS, 1989
	15	Representation and reasoning with attributive descriptions Nebel, Bernhard. - [Heidelberg] : IWBS, 1989
	16	Terminological reasoning is inherently intractable Nebel, Bernhard. - [Heidelberg] : IWBS, 1989
	17	Computational complexity of terminological reasoning in BACK Nebel, Bernhard. - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1987
	18	Issues of integration and balancing in hybrid knowledge representation systems Nebel, Bernhard. - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1987
	19	On terminological cycles Nebel, Bernhard. - Berlin : Technische Univ., Fachbereich Informatik, Projektgruppe KIT, 1987
	20	NIGEL gets to know logic Nebel, Bernhard. - Berlin : Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, 1986