Treffer 1 – 20 von 29 für Suche 'Hölldobler, Steffen', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Logik und Logikprogrammierung

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

    Veröffentlicht 2011
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Logik und Logikprogrammierung

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

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Foundations of equational logic programming

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

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Equations, order-sortedness and inheritance in logic programming

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Foundations of equational logic programming

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

    Veröffentlicht 1989
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Horn equality theories and paramodulation

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Horn clause logic in a functional environment

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Modelling the combination of functional and logic programming languages

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Functional and logic programming

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The combination of functional and logic programming languages

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Logik und Logikprogrammierung

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

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Extended unification and its implementation

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Logik und Logikprogrammierung

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

    Veröffentlicht 2009
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Logik und Logikprogrammierung

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

    Veröffentlicht 2003
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel

    Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel von Hölldobler, Steffen

    Veröffentlicht 2000

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Constraint satisfaction in a connectionist inference system

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Linear paramodulation modulo equality

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    FHCL - functions in Horn Clause logic

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    FHCL, functions in Horn clause logic a guide to a programming system

    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
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Ausgezeichnete Informatikdissertationen 2018

    Ausgezeichnete Informatikdissertationen 2018

    Veröffentlicht 2019
    Weitere Verfasser: “… Hölldobler, Steffen 1957-2023 …”
    Buch


    Gespeichert in:

Suchwerkzeuge: