Showing 1 - 5 results of 5 for search 'Plaisted, David A.', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proof lengths for equational completion

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

    Published 1995
    Book Interlibrary loan Place Request


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

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

    Published 1995
    Book Interlibrary loan Place Request


    Saved 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 by Plaisted, David A., Zhu, Yunshan

    Published 1999
    Indexes
    Book Interlibrary loan Place Request


    Saved 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 by Plaisted, David A., Zhu, Yunshan

    Published 1997
    Book Interlibrary loan Place Request


    Saved 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 by Plaisted, David A.

    Published 1997
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: