Automated Theorem Proving: After 25 Years

Författare
W.W Bledsoe
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
American Mathematical Society 1984 Utgivningsland okänt / Ej specificerat