LIBROS DEL AUTOR: david a plaisted

1 resultados para LIBROS DEL AUTOR: david a plaisted

david a plaisted Eliminar filtro Quitar filtros
  • The Efficiency of Theorem Proving Strategies
    David A. Plaisted
    Dieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Das Werk stellt erstmalig asymptotische Schranken für die Größe der von vielen gebräuchlichen Beweisstrategien erzeugten Suchfelder bereit. Auf diese Weise erlaubt es ein theoretisches Verständnis der Effi...
    Disponible

    66,91 €