Using Sophisticated Models in Resolution Theorem Proving

Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford

Jazyk

Rok vydania

1980

product-detail.submit-box.info.binding

(mäkká),

Stav knihy

Dobrá

Cena

17,49 €