Search Results - Beierle, Christoph 1954-

Filter by
  1. 1
    Cover Image

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

    Published 2014
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

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

    Published 2000
    Read online
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 1985
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 2008
    Read online
    Electronic eBook


    Saved in:
  5. 5
    Cover Image

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

    Published 2006
    Read online
    Electronic eBook


    Saved in:
  6. 6
    Cover Image

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

    Published 2019
    Read online
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

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

    Published 2014
    Table of Contents
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 2008
    Table of Contents
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 2003
    Read online
    Electronic eBook


    Saved in:
  10. 10
    Cover Image

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

    Published 2019
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 2006
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1983
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Implementation specifications
    by Beierle, Christoph 1954-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

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

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1983
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1993
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 1983
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: