Bookbot

Using Sophisticated Models in Resolution Theorem Proving

Acquisto del libro

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

Lingua
Pubblicato
1980
product-detail.submit-box.info.binding
(In brossura),
Condizioni del libro
In buone condizioni
Prezzo
25,49 €

Metodi di pagamento