Treffer 1 – 5 von 5 für Suche 'Plaisted, David A.', 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
    Proof lengths for equational completion

    Proof lengths for equational completion von Plaisted, David A., Sattler-Klein, Andrea

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    General algorithms for permutations in equational inference

    General algorithms for permutations in equational inference von Avenhaus, Jürgen, Plaisted, David A.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The efficiency of theorem proving strategies a comparative and asymptotic analysis

    The efficiency of theorem proving strategies a comparative and asymptotic analysis von Plaisted, David A., Zhu, Yunshan

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The efficiency of theorem proving strategies a comparative and asymptotic analysis

    The efficiency of theorem proving strategies a comparative and asymptotic analysis von Plaisted, David A., Zhu, Yunshan

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis

    The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis von Plaisted, David A.

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


    Gespeichert in:

Suchwerkzeuge: