Treffer 1 - 16 von 16 für Suche 'Fronhöfer, Bertram', Suchdauer: 0,74s Treffer weiter einschränken
  1. 1
    Massively parallel inference systems

    Massively parallel inference systems von Furbach, Ulrich 1948-, Suttner, Christian, Fronhöfer, Bertram

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Program optimization by analyzing similar repetitive subcomputations

    Program optimization by analyzing similar repetitive subcomputations von Fronhöfer, Bertram, Moser, Max

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Transformation systems for program synthesis Knuth-Bendix completion and fold/unfold

    Transformation systems for program synthesis Knuth-Bendix completion and fold/unfold von Fronhöfer, Bertram, Furbach, Ulrich 1948-

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    PLANLOG a language framework for the integration of procedural and logical programming

    PLANLOG a language framework for the integration of procedural and logical programming von Fronhöfer, Bertram

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The action as implication paradigm formal systems and application

    The action as implication paradigm formal systems and application von Fronhöfer, Bertram

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Default connections in a modal planning framework

    Default connections in a modal planning framework von Fronhöfer, Bertram

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Improvement of recursive programs from a logic programming point of view

    Improvement of recursive programs from a logic programming point of view von Fronhöfer, Bertram, Caferra, Ricardo 1945-, Jacquet, Philippe 20. Jh./21. Jh

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Logik und Logikprogrammierung

    Logik und Logikprogrammierung von Bader, Sebastian 1977-, Hölldobler, Steffen 1957-2023, Fronhöfer, Bertram, Hans, Ursula, Hitzler, Pascal, Krötzsch, Markus, Pietzsch, Tobias 1975-

    Veröffentlicht 2011
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    The action-as-implication paradigm formal systems and application

    The action-as-implication paradigm formal systems and application von Fronhöfer, Bertram

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Implementing exception in inheritance by concept transforming actions

    Implementing exception in inheritance by concept transforming actions von Fronhöfer, Bertram

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Plan schemes in Planlog

    Plan schemes in Planlog von Fronhöfer, Bertram

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Logic oriented program synthesis

    Logic oriented program synthesis von Kreitz, Christoph, Neugebauer, Gerd, Fronhöfer, Bertram

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Knuth-Bendix completion versus fold/unfold a comparative study in program synthesis

    Knuth-Bendix completion versus fold/unfold a comparative study in program synthesis von Fronhöfer, Bertram, Furbach, Ulrich 1948-

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Heuristics for recursion improvement

    Heuristics for recursion improvement von Fronhöfer, Bertram

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On refinements of the connection method

    On refinements of the connection method von Fronhöfer, Bertram

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: