Gå direkte til innholdet
Using Sophisticated Models in Resolution Theorem Proving
Spar

Using Sophisticated Models in Resolution Theorem Proving

ISBN
9783540102311
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
1.8.1980
Antall sider
242