Treffer 1 – 9 von 9 für Suche 'Bockmayr, Alexander', 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
    Narrowing strategies for arbitrary canonical rewrite systems

    Narrowing strategies for arbitrary canonical rewrite systems von Bockmayr, Alexander, Krischer, Stefan, Werner, Andreas

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Beiträge zur Theorie des logisch-funionalen Programmierens

    Beiträge zur Theorie des logisch-funionalen Programmierens von Bockmayr, Alexander M.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Extended Prolog with Boolean unification

    Extended Prolog with Boolean unification von Bockmayr, Alexander, Rath, Hans H.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    How to realize LSE narrowing

    How to realize LSE narrowing von Werner, Andreas, Bockmayr, Alexander, Krischer, Stefan

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Beiträge zur Theorie des logisch-funktionalen Programmierens

    Beiträge zur Theorie des logisch-funktionalen Programmierens von Bockmayr, Alexander M.

    Veröffentlicht 1990
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Time-optimal adaptation in metabolic network models

    Time-optimal adaptation in metabolic network models von Köbis, Markus A., Bockmayr, Alexander, Steuer, Ralf

    Veröffentlicht 2022
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Conditional rewriting and narrowing as a theoretical framework for logic-functional programming

    Conditional rewriting and narrowing as a theoretical framework for logic-functional programming von Bockmayr, Alexander

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Narrowing with inductively defined functions

    Narrowing with inductively defined functions von Bockmayr, Alexander

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Conditional rewriting and narrowing as a theoretical framework for logic-functional programming a survey

    Conditional rewriting and narrowing as a theoretical framework for logic-functional programming a survey von Bockmayr, Alexander

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: