Treffer 1 – 2 von 2 für Suche 'Bellia, Marco', Suchdauer: 0,01s 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
    A variable free calculus for equational programming

    A variable free calculus for equational programming von Bellia, Marco, Occhiuto, M. Eugenia

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Suprema of open and closed formulas and their application to resolution

    Suprema of open and closed formulas and their application to resolution von Bellia, Marco, Occhiuto, M. Eugenia

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: