Suchergebnisse - Beierle, Christoph 1954-

Treffer filtern
  1. 1
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-

    Veröffentlicht 2014
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen Algorithmen Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2000
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Algebraic implementations in an integrated software development and verification system
    von Beierle, Christoph 1954-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2008
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2006
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen — Algorithmen — Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2003
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2019
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
    von Beierle, Christoph 1954-, Kern-Isberner, Gabriele 1956-

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Canonical term functors and parameterization-by-use for the specification of abstract data types
    von Beierle, Christoph 1954-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Implementation specifications
    von Beierle, Christoph 1954-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Implementation specifications
    von Beierle, Christoph 1954-, Voß, Angelika

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Parameterization without parameters in: The history of a hierarchy of specifications
    von Beierle, Christoph 1954-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Type inferencing for polymorphic order sorted logic programs
    von Beierle, Christoph 1954-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Run-time type computations in the Warren abstract machine
    von Beierle, Christoph 1954-, Meyer, Gregor

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Parameterization-by-use for hierarchically structured objects
    von Beierle, Christoph 1954-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken
    von Meyer, Gregor, Beierle, Christoph 1954-, Scheubrein, Ralph

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Extending the Warren abstract machine to polymorphic order-sorted resolution
    von Beierle, Christoph 1954-, Meyer, Gregor, Semle, Heiner

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: