Search Results - Hölldobler, Steffen 1957-2023
- Results 1 – 20 of 28
- Go to Next Page
-
1Foundations of equational logic programmingPublished 1989Call Number: Loading…EBook available at UBR You can use this EBook on site at the UBR.
Located: Loading…Thesis Electronic eBook Loading… -
2Logik und LogikprogrammierungPublished 2009Call Number: Loading…
Located: Loading…Book Loading… -
3Logik und LogikprogrammierungPublished 2003Call Number: Loading…Table of Contents
Located: Loading…Book Loading… -
4Constraint satisfaction in a connectionist inference systemPublished 1991Call Number: Loading…
Located: Loading…Book Loading… -
5Linear paramodulation modulo equalityPublished 1989Call Number: Loading…
Located: Loading…Book Loading… -
6FHCL - functions in Horn Clause logicPublished 1988Call Number: Loading…
Located: Loading…Book Loading… -
7FHCL, functions in Horn clause logic: a guide to a programming systemPublished 1986Call Number: Loading…
Located: Loading…Book Loading… -
8Logik und LogikprogrammierungBand 2 - Aufgaben und LösungenPublished 2011Call Number: Loading…
Located: Loading…Book Loading… -
9Logik und LogikprogrammierungPublished 2001Call Number: Loading…
Located: Loading…Book Loading… -
10Foundations of equational logic programmingPublished 1989Call Number: Loading…
Located: Loading…Thesis Book Loading… -
11Equations, order-sortedness and inheritance in logic programmingPublished 1989Call Number: Loading…
Located: Loading…Book Loading… -
12Horn equality theories and paramodulationPublished 1988Call Number: Loading…
Located: Loading…Book Loading… -
13Horn clause logic in a functional environmentPublished 1986Call Number: Loading…
Located: Loading…Book Loading… -
14Modelling the combination of functional and logic programming languagesPublished 1985Call Number: Loading…
Located: Loading…Book Loading… -
15Functional and logic programmingPublished 1984Call Number: Loading…
Located: Loading…Book Loading… -
16The combination of functional and logic programming languagesPublished 1984Call Number: Loading…
Located: Loading…Book Loading… -
17Logik und LogikprogrammierungBand 1 - GrundlagenPublished 2009Call Number: Loading…Table of Contents
Located: Loading…Book Loading… -
18Extended unification and its implementationPublished 1985Call Number: Loading…
Located: Loading…Book Loading… -
19KI 2015: advances in artificial intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, proceedingsPublished 2015Other Authors: “…Hölldobler, Steffen 1957-2023…”
Call Number: Loading…EBook available at UBR You can use this EBook on site at the UBR.
Located: Loading…Electronic Conference Proceeding eBook Loading… -
20Ausgezeichnete Informatikdissertationen 2018Published 2019Other Authors: “…Hölldobler, Steffen 1957-2023…”
Call Number: Loading…
Located: Loading…Book Loading…