Treffer 1 – 9 von 9 für Suche 'Lingenfelder, Christoph', Suchdauer: 0,05s 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
    Using knowledge based methods to administrate an access control system

    Using knowledge based methods to administrate an access control system von Lingenfelder, Christoph, Schmücker-Schend, Astrid

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Transformation and structuring of computer generated proofs

    Transformation and structuring of computer generated proofs von Lingenfelder, Christoph

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Presentation of proofs in an equational calculus

    Presentation of proofs in an equational calculus von Lingenfelder, Christoph, Präcklein, Axel

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Transformation and structuring of computer generated proofs

    Transformation and structuring of computer generated proofs von Lingenfelder, Christoph

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Structuring computer generated proofs

    Structuring computer generated proofs von Lingenfelder, Christoph

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Transformation and structuring of computer generated proofs

    Transformation and structuring of computer generated proofs von Lingenfelder, Christoph

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Proof transformation with built-in equality predicate

    Proof transformation with built-in equality predicate von Lingenfelder, Christoph, Präcklein, Axel

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Proof transformation with built-in equality predicate

    Proof transformation with built-in equality predicate von Lingenfelder, Christoph, Präcklein, Axel

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Presentation of proofs in an equational calculus

    Presentation of proofs in an equational calculus von Lingenfelder, Christoph, Präcklein, Axel

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: