Suchergebnisse - Convent, Bernhard

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    Relational chase procedures interpreted as resolution with paramodulation
    von Biskup, Joachim, Convent, Bernhard

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Datenbankschemaentwurf für ein logikorientiertes Datenmodell
    von Convent, Bernhard

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Deciding finiteness, groundness and domain independence of pure datalog queries
    von Convent, Bernhard

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Datenbankschemaentwurf für ein logikorientiertes Datenmodell
    von Convent, Bernhard

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A formal view integration method
    von Biskup, Joachim, Convent, Bernhard

    Veröffentlicht 1985
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Detecting redundant clauses or premises within logic-oriented database schemas
    von Convent, Bernhard

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Deciding finiteness, groundness and domain independence of pure datalog queries
    von Convent, Bernhard

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Relational chase procedures interpreted as resolution with paramodulation
    von Biskup, Joachim, Convent, Bernhard

    Veröffentlicht 1990
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: