Siirry suoraan sisältöön
Using Sophisticated Models in Resolution Theorem Proving
Tallenna

Using Sophisticated Models in Resolution Theorem Proving

ISBN
9783540102311
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.8.1980
Sivumäärä
242