The Efficiency of Theorem Proving Strategies - David A. Plaisted
A Comparative and Asymptotic Analysis (Computational Intelligence)
KORTE INHOUD
"The Efficiency of Theorem Proving Strategies" is een boek van David A. Plaisted. Het is uitgegeven door GWV-Vieweg. Deze editie verscheen in 1999. Dit werk telt 170 pagina's.
Deze editie wordt tweedehands aangeboden door 1 boekverkopers uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.
Deze editie wordt tweedehands aangeboden door 1 boekverkopers uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.
1999zie alle details...
Categorie
Koop dit boek tweedehands
bij volgende verkopers
1 foto's
Stel vraag Softcover
21 cm. original paperback. 170 pp. bibliography. index. "Computational Intelligence". -(book shop mark bottom edge, otherwise (very) good). 280 [Auteur: PLAISTED, D.A. and YUNSHAN ZHU.] [Uitgever: Friedr. Vieweg & Sohn] [Jaar: 1999] [Titel: The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.]