Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Standorte:	Frankfurt

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

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

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

1 - 10 von 23

Alle Materialarten

Bücher (23)

Alle Kataloge/Sammlungen > Teilbestand nach VGG (23)

Alle Standorte > Frankfurt (23)

Aktionen