Katalog der Deutschen Nationalbibliothek

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