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

Volltext öffnen

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

Volltext öffnen

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

Inhaltsverzeichnis

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

Volltext öffnen

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

Volltext öffnen

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

Draft report of the logic programming language PROTOS-L von Beierle, Christoph 1954-, Böttcher, Stefan, Meyer, Gregor

Knowledge representation for natural language understanding the LLILOG approach von Beierle, Christoph 1954-, Pletat, Udo, Studer, Rudi 1951-

Semantics of logic programs with equational abstract data type specifications von Beierle, Christoph 1954-, Pletat, Udo

Hierarchical structures and dynamic parameterization without parameters von Beierle, Christoph 1954-, Voß, Angelika

On implementations of loose abstract data type specifications and their vertical composition von Beierle, Christoph 1954-, Voß, Angelika

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

Implementation specifications von Beierle, Christoph 1954-

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

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

Parameterization without parameters in the history of a hierarchy of specifications von Beierle, Christoph 1954-, Gerlach, Michael, Voß, Angelika

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

Parameterization without parameters in: the history of a hierarchy of specifications von Beierle, Christoph 1954-, Gerlach, Michael, Voss, Angelika

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

Inhaltsverzeichnis

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

Beschreibung