David A. Plaisted - Böcker

Visar alla böcker från författaren David A. Plaisted.

1 produkt

Kategorier

1 produkt

Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis

AvDavid A. Plaisted,Yunshan Zhu,Wolfgang Bibel

Häftad, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar