Suchergebnisse - Hölldobler, Steffen 1957-2023

Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1989

    EBook an UBR verfügbar
    Sie können dieses EMedium vor Ort an der UBR beziehen
    Abschlussarbeit Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2009
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2003
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1986
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2011
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2001
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Abschlussarbeit Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1986
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1985
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1984
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1984
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1985
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 2015
    Weitere Personen: “… Hölldobler, Steffen 1957-2023 …”

    EBook an UBR verfügbar
    Sie können dieses EMedium vor Ort an der UBR beziehen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  20. 20
    Buchumschlag

    Ausgezeichnete Informatikdissertationen 2018

    Veröffentlicht 2019
    Weitere Personen: “… Hölldobler, Steffen 1957-2023 …”
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: