Anzeige von nach Personenindex Boley, Harold

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 1 bis 16 von 16
ErscheinungsjahrTitelAutor(en)
1991ARC-TEC : acquisition, representation and compilation of technical knowledgeBernardi, Ansgar; Boley, Harold; Hanschke, Philipp, u.a.
1993COLAB : a hybrid knowledge representation and compilation laboratoryBoley, Harold; Hanschke, Philipp; Hinkelmann, Knut, u.a.
1990Declarative operations on netsBoley, Harold
1992A direct semantic characterization of RELFUNBoley, Harold
1995An environment for exploring and validating declarative knowledgeAbecker, Andreas; Boley, Harold; Hinkelmann, Knut, u.a.
1992Extended logic-plus-functional programmingBoley, Harold
1994Finite domains and exclusions as first-class citizensBoley, Harold
1996Knowledge bases in the world wide web : a challenge for logic programming (second, revised edition)Boley, Harold
1993Konzeption einer deklarativen Wissensbasis über recyclingrelevante MaterialienBoley, Harold; Buhrmann, Ulrich; Kremer, Christof
1993Neuere Entwicklungen der deklarativen KI-Programmierung : proceedingsBoley, Harold; Bry, François; Geske, Ulrich
1997PIMaS : ein objektorientiert-regelbasiertes System zur Produkt-Prozeß-TransformationBoley, Harold; Bachmann, Bernd; Blum, Christian, u.a.
1993RELFUN guide : programming with relations and functions made easyBoley, Harold; Andel, Simone; Elsbernd, Klaus, u.a.
1996RFM manual : compiling RELFUN into the relational/functional machineBoley, Harold; Elsbernd, Klaus; Hein, Hans-Günther, u.a.
1991A sampler of relational/functional definitions (second, revised edition)-
1994Towards a sharable knowledge base on recyclable plasticsBoley, Harold; Buhrmann, Ulrich; Kremer, Christof
1991μCAD2NC : a declarative lathe-workplanning model transforming CAD-like geometries into abstract NC programsBoley, Harold; Hanschke, Philipp; Harm, Martin, u.a.