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 1 - GrundlagenPublished 2009Call Number: Loading…Table of Contents
Located: Loading…Book Loading… -
9Extended unification and its implementationPublished 1985Call Number: Loading…
Located: Loading…Book Loading… -
10Logik und LogikprogrammierungBand 2 - Aufgaben und LösungenPublished 2011Call Number: Loading…
Located: Loading…Book Loading… -
11Logik und LogikprogrammierungPublished 2001Call Number: Loading…
Located: Loading…Book Loading… -
12Foundations of equational logic programmingPublished 1989Call Number: Loading…
Located: Loading…Thesis Book Loading… -
13Equations, order-sortedness and inheritance in logic programmingPublished 1989Call Number: Loading…
Located: Loading…Book Loading… -
14Horn equality theories and paramodulationPublished 1988Call Number: Loading…
Located: Loading…Book Loading… -
15Horn clause logic in a functional environmentPublished 1986Call Number: Loading…
Located: Loading…Book Loading… -
16Modelling the combination of functional and logic programming languagesPublished 1985Call Number: Loading…
Located: Loading…Book Loading… -
17Functional and logic programmingPublished 1984Call Number: Loading…
Located: Loading…Book Loading… -
18The combination of functional and logic programming languagesPublished 1984Call 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…