Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

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

1 - 10 von 23

	1	Abstracts of the Workshop "Massively Parallel Inference Systems" Workshop on Massively Parallel Inference Systems (1990 : Dagstuhl). - München : SFB 342, 1991
	2	Answers for disjunctive logic programs Furbach, Ulrich. - München : SFB 342, 1991
	3	Logische und funktionale Programmierung Furbach, Ulrich. - Braunschweig : Vieweg, 1991
	4	Splitting as a source of parallelism in disjunctive logic programs Furbach, Ulrich. - München : SFB 342, 1991
	5	Equations, order-sortedness and inheritance in logic programming Furbach, Ulrich. - München : Inst. für Informatik, 1989
	6	ESPRIT project 973 ALPES Fronhöfer, Bertram. - München : Inst. für Informatik, 1989
	7	Linear paramodulation modulo equality Furbach, Ulrich. - München : Inst. für Informatik, 1989
	8	Workshop Verification, Construction, and Synthesis of Programs Workshop Verification, Construction and Synthesis of Programs (1989 : Karlsruhe). - Karlsruhe : Inst. for Logic, Complexity and Deductive Systems, 1989
	9	FHCL - functions in Horn Clause logic Furbach, Ulrich. - München : Inst. für Informatik, 1988
	10	Horn equality theories and paramodulation Furbach, Ulrich. - Neubiberg : UnivBw München, Fak. Informatik, 1988