Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Kerssemakers.
PLAISTED, D.A. and YUNSHAN ZHU. - The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | PLAISTED, D.A. and YUNSHAN ZHU. |
| Titel: | The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition. |
| ISBN: | 3528155744 |
| Uitgever: | Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden |
| Bijzonderheid: | 1999, 21 cm. original paperback. 170 pp. bibliography. index. "Computational Intelligence". |
| Prijs: |
€ 15,00
€ 6,50
|
| Meer info | (book shop mark bottom edge, otherwise (very) good). |
| Boek bekijken | |
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.