Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

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 - 7 von 7

	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	Functions in horn clause logic Furbach, Ulrich. - Neubiberg : UniBw München, Fak. für Informatik, 1986
	6	Horn clause logic in a functional environment Furbach, Ulrich. - Neubiberg : UniBw München, Fak. für Informatik, 1986
	7	Knuth-Bendix completion versus fold-unfold Fronhöfer, Bertram. - Neubiberg : UniBw München, Fak. für Informatik, 1986