Suchergebnisse - Bürckert, Hans-Jürgen

Treffer filtern
  1. 1
    Buchumschlag

    Concept logics with function symbols
    von Bürckert, Hans-Jürgen, Hollunder, Bernhard, Laux, Armin

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    On abduction and answer generation through constrained resolution
    von Bürckert, Hans-Jürgen, Nutt, Werner

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Reasoning about temporal relations: a maximal tractable subset of Allen's interval algebra
    von Nebel, Bernhard, Bürckert, Hans-Jürgen

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    MKRP
    von Bürckert, Hans-Jürgen

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    On Skolemization in constrained logics
    von Bürckert, Hans-Jürgen, Hollunder, Bernhard, Laux, Armin

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A resolution principle for a logic with restricted quantifiers
    von Bürckert, Hans-Jürgen

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    RATMAN and its relation to other multi-agent testbeds
    von Bürckert, Hans-Jürgen, Müller, Jürgen, Schupeta, Achim

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A resolution principle for a logic with restricted quantifiers
    von Bürckert, Hans-Jürgen

    Veröffentlicht 1991
    Online lesen
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    On the solvability of equational problems
    von Bürckert, Hans-Jürgen, Schmidt-Schauß, Manfred

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    A resolution principle for clauses with constraints
    von Bürckert, Hans-Jürgen

    Veröffentlicht 1990
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    On solving equations and disequations
    von Buntine, Wray L., Bürckert, Hans-Jürgen

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Solving disequations in equational theories
    von Bürckert, Hans-Jürgen

    Veröffentlicht 1987
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    An intercompany dispatch support system for intermodal transport chains
    von Bürckert, Hans-Jürgen, Funk, Petra, Vierke, Gero

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    A multi-agent perspective on intermodal transport chains
    von Funk, Petra, Vierke, Gero, Bürckert, Hans-Jürgen

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    On solving equations and disequations
    von Buntine, Wray L., Bürckert, Hans-Jürgen

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    MKRP: a performance test by working mathematicians
    von Bürckert, Hans-Jürgen, Wang, H., Zheng, R.

    Veröffentlicht 1983
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    TeleTruck: a holonic fleet management system
    von Bürckert, Hans-Jürgen, Fischer, Klaus, Vierke, Gero

    Veröffentlicht 1997
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Some relationships between unification, restricted unification and matching
    von Bürckert, Hans-Jürgen

    Veröffentlicht 1986
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    An intercompany dispatch support system for intermodal transport chains
    von Bürckert, Hans-Jürgen, Funk, Petra, Vierke, Gero

    Veröffentlicht 1999
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Simulated-trading-Mechanismen für speditionsübergreifende Transportplanung
    von Bürckert, Hans-Jürgen, Vierke, Gero

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: