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

Using Sophisticated Models in Resolution Theorem Proving

ISBN
9783540102311
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1980-08-01
Sidor
242