Ulrich Furbach

Ulrich Furbach (* 1948) ist ein deutscher Informatiker und Professor für Informatik an der Universität Koblenz-Landau. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 54 für Suche 'Furbach, Ulrich 1948-', Suchdauer: 0,11s 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
    A Different Look at Artificial Intelligence On Tour with Bergson, Proust and Nabokov

    A Different Look at Artificial Intelligence On Tour with Bergson, Proust and Nabokov von Barthelmeß, Ulrike, Furbach, Ulrich 1948-

    Veröffentlicht 2023
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste

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

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Künstliche Intelligenz aus ungewohnten Perspektiven ein Rundgang mit Bergson, Proust und Nabokov

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

    Veröffentlicht 2019
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Formierung eines Forschungsgebiets - Künstliche Intelligenz und Intellektik an der Technischen Universität München

    Formierung eines Forschungsgebiets - Künstliche Intelligenz und Intellektik an der Technischen Universität München von Bibel, Wolfgang 1938-, Furbach, Ulrich 1948-

    Veröffentlicht 2018
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste

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

    Veröffentlicht 2012
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Consolution as a framework for comparing calculi

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Logische und funktionale Programmierung Grundlagen einer Kombination

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

    Veröffentlicht 1991
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Answers for disjunctive logic programs

    Answers for disjunctive logic programs von Furbach, Ulrich 1948-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Splitting as a source of parallelism in disjunctive logic programs

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Formal specification methods for reactive systems

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Splitting as a source of parallelism in disjunctive logic programs

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    ESPRIT project 973 ALPES a programming environment for logic programming

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Wissensrepräsentation und Programmiersprachen

    Wissensrepräsentation und Programmiersprachen von Furbach, Ulrich 1948-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    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:
  15. 15
    Rigorous derivation of a sophisticated algorithm smoothshort

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Künstliche Intelligenz aus ungewohnten Perspektiven ein Rundgang mit Bergson, Proust und Nabokov

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

    Veröffentlicht 2019
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Theory reasoning in first order calculi

    Theory reasoning in first order calculi von Furbach, Ulrich 1948-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Model elimination without contrapositives and its application to PTTP

    Model elimination without contrapositives and its application to PTTP von Baumgartner, Peter, Furbach, Ulrich 1948-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    A unified approach to theory reasoning

    A unified approach to theory reasoning von Baumgartner, Peter, Furbach, Ulrich 1948-, Petermann, Uwe 1953-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    A unified approach to theory reasoning

    A unified approach to theory reasoning von Baumgartner, Peter, Furbach, Ulrich 1948-, Petermann, Uwe 1953-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: