Suchergebnisse - Furbach, Ulrich 1948-

Treffer filtern
  1. 1
    Buchumschlag

    Künstliche Intelligenz aus ungewohnten Perspektiven: ein Rundgang mit Bergson, Proust und Nabokov
    von Barthelmeß, Ulrike, Furbach, Ulrich 1948-

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Consolution as a framework for comparing calculi
    von Baumgartner, Peter, Furbach, Ulrich 1948-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Massively parallel inference systems
    von Furbach, Ulrich 1948-, Suttner, Christian, Fronhöfer, Bertram

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Computing answers for disjunctive logic programs
    von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Logische und Funktionale Programmierung: Grundlagen einer Kombination
    von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Sorts are nothing but functions: an equational approach to sorts for logic programming
    von Conrad, Thierry, Furbach, Ulrich 1948-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  8. 8
    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
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen
    von Furbach, Ulrich 1948-

    Veröffentlicht 1983
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen
    von Furbach, Ulrich 1948-

    Veröffentlicht 1983
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    IRobot - uMan: Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
    von Barthelmeß, Ulrike, Furbach, Ulrich 1948-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Logische und funktionale Programmierung: Grundlagen einer Kombination
    von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Answers for disjunctive logic programs
    von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Splitting as a source of parallelism in disjunctive logic programs
    von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Formal specification methods for reactive systems
    von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    ESPRIT project 973 ALPES: a programming environment for logic programming
    von Fronhöfer, Bertram, Furbach, Ulrich 1948-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Wissensrepräsentation und Programmiersprachen
    von Furbach, Ulrich 1948-

    Veröffentlicht 1987
    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
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Rigorous derivation of a sophisticated algorithm: smoothshort
    von Furbach, Ulrich 1948-, Schmitz, Lothar 1949-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    IRobot - uMan: Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
    von Barthelmeß, Ulrike, Furbach, Ulrich 1948-

    Veröffentlicht 2012
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: