Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.
Ik heb een vraag over het boek: ‘The Efficiency of Theorem Proving Strategies - David A. Plaisted, Yunshan Zhu’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
