David A. Plaisted – författare

Visar alla böcker från författaren David A. Plaisted. Handla med fri frakt och snabb leverans.

1 produkt

Kategorier

1 produkt

Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis

AvDavid A. Plaisted,Yunshan Zhum. fl.

Häftad, Engelska, 1999

699 kr

Skickas inom 10-15 vardagar