Treffer 1 – 8 von 8 für Suche 'Bossi, Annalisa 1948-', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Transforming acyclic programs

    Transforming acyclic programs von Bossi, Annalisa 1948-, Etalle, Sandro

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The expressions with arity

    The expressions with arity von Bossi, Annalisa 1948-, Valentino, Sikvio

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    More on unfold/fold transformations of normal programs preservation of Fitting's semantics

    More on unfold/fold transformations of normal programs preservation of Fitting's semantics von Bossi, Annalisa 1948-, Etalle, Sandro

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A bottom up semantics for constructive negation

    A bottom up semantics for constructive negation von Bossi, Annalisa 1948-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Simultaneous replacement in normal programs

    Simultaneous replacement in normal programs von Bossi, Annalisa 1948-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Transforming acyclic programs

    Transforming acyclic programs von Bossi, Annalisa 1948-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A bottum-up semantics for constructive negation

    A bottum-up semantics for constructive negation von Bossi, Annalisa 1948-, Fabris, Massimo, Meo, Maria Chiara

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Simultaneous replacement in normal programs

    Simultaneous replacement in normal programs von Bossi, Annalisa 1948-, Cocco, Nicoletta, Etalle, Sandro

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: