Search Results - Hölldobler, Steffen 1957-2023

Refine Results
  1. 1
    Cover Image

    Foundations of equational logic programming
    by Hölldobler, Steffen 1957-2023

    Published 1989

    EBook available at UBR
    You can use this EBook on site at the UBR.
    Thesis Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Logik und Logikprogrammierung
    by Hölldobler, Steffen 1957-2023

    Published 2009
    Request via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    Logik und Logikprogrammierung
    by Hölldobler, Steffen 1957-2023

    Published 2003
    Table of Contents
    Request via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Constraint satisfaction in a connectionist inference system
    by Hölldobler, Steffen 1957-2023, Hower, Walter

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Linear paramodulation modulo equality
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023, Schreiber, Joachim

    Published 1989
    Request via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    FHCL - functions in Horn Clause logic
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023

    Published 1988
    Request via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    FHCL, functions in Horn clause logic: a guide to a programming system
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023, Laußermair, Thomas

    Published 1986
    Request via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Logik und Logikprogrammierung
    Band 1 - Grundlagen
    by Hölldobler, Steffen 1957-2023

    Published 2009
    Table of Contents
    Request via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Extended unification and its implementation
    by Hölldobler, Steffen 1957-2023, Furbach, Ulrich 1948-, Laußermair, Thomas

    Published 1985
    Request via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Logik und Logikprogrammierung
    Band 2 - Aufgaben und Lösungen
    by Bader, Sebastian 1977-, Hölldobler, Steffen 1957-2023, Fronhöfer, Bertram, Hans, Ursula, Hitzler, Pascal, Krötzsch, Markus 1981-, Pietzsch, Tobias 1975-

    Published 2011
    Request via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Logik und Logikprogrammierung
    by Hölldobler, Steffen 1957-2023

    Published 2001
    Request via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Foundations of equational logic programming
    by Hölldobler, Steffen 1957-2023

    Published 1989
    Request via interlibrary loan
    Thesis Book


    Saved in:
  13. 13
    Cover Image

    Equations, order-sortedness and inheritance in logic programming
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023

    Published 1989
    Request via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Horn equality theories and paramodulation
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023, Schreiber, Joachim

    Published 1988
    Request via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Horn clause logic in a functional environment
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023

    Published 1986
    Request via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Modelling the combination of functional and logic programming languages
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023

    Published 1985
    Request via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Functional and logic programming
    by Hölldobler, Steffen 1957-2023

    Published 1984
    Request via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    The combination of functional and logic programming languages
    by Furbach, Ulrich 1948-, Hölldobler, Steffen 1957-2023

    Published 1984
    Request via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    KI 2015: advances in artificial intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, proceedings

    Published 2015
    Other Authors: “…Hölldobler, Steffen 1957-2023…”

    EBook available at UBR
    You can use this EBook on site at the UBR.
    Electronic Conference Proceeding eBook


    Saved in:
  20. 20
    Cover Image

    Ausgezeichnete Informatikdissertationen 2018

    Published 2019
    Other Authors: “…Hölldobler, Steffen 1957-2023…”
    Request via interlibrary loan
    Book


    Saved in:

Search Tools: