Treffer 1 – 6 von 6 für Suche 'Readi Nasser, Rodrigo', Suchdauer: 0,03s 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
    Ein Beweisverfahren für die Prädikatenlogik

    Ein Beweisverfahren für die Prädikatenlogik von Readi Nasser, Rodrigo

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Ein Modell für die elektronische Darstellung hybrider Verwaltungsakten in Archiven

    Ein Modell für die elektronische Darstellung hybrider Verwaltungsakten in Archiven von Readi Nasser, Rodrigo, Lupprian, Karl-Ernst

    Veröffentlicht 2003

    Volltext öffnen Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The reduction oriented calculus mj

    The reduction oriented calculus mj von Readi Nasser, Rodrigo

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    An intuitionistic approach to logic programming

    An intuitionistic approach to logic programming von Readi Nasser, Rodrigo

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Mj reduction for proving in predicate logic extended abstract

    Mj reduction for proving in predicate logic extended abstract von Readi Nasser, Rodrigo

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Ein Beweisverfahren für die Prädikatenlogik

    Ein Beweisverfahren für die Prädikatenlogik von Readi Nasser, Rodrigo

    Veröffentlicht 1996
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: