Suchergebnisse - Plaisted, David A.

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1997
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: