Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Standorte:	Leipzig

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

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

1 - 7 von 7

Alle Materialarten > Bücher (7)

Alle Kataloge/Sammlungen > Teilbestand nach VGG (7)

Alle Standorte > Leipzig (7)

Aktionen