Suchergebnisse - Aït-Kaci, Hassan

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

    A feature-based constraint system for logic programming with entailment
    von Aït-Kaci, Hassan, Podelski, Andreas, Smolka, Gert 1955-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Warren's abstract machine: a tutorial reconstruction
    von Aït-Kaci, Hassan

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Warren's abstract machine: a tutorial reconstruction
    von Aït-Kaci, Hassan 1954-

    Veröffentlicht 1991
    Online lesen
    E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Towards a meaning of LIFE
    von Aït-Kaci, Hassan, Podelski, Andreas

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Functions as passive constraints in LIFE
    von Aït-Kaci, Hassan, Podelski, Andreas

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Warren's abstract machine: a tutorial reconstruction
    von Aït-Kaci, Hassan

    Veröffentlicht 1991
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    A lattice theoretic approach to computation based on a calculus of partially ordered type structures
    von Aït-Kaci, Hassan

    Veröffentlicht 1985
    Microform Buch


    Gespeichert in:

Suchwerkzeuge: