Gå direkt till innehållet
Using Sophisticated Models in Resolution Theorem Proving
Spara

Using Sophisticated Models in Resolution Theorem Proving

Lägsta pris på PriceRunner
ISBN
9783540102311
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1980-08-01
Sidor
242