Instantiation theory - on the foundations of automated deduction
- Författare
- James G. Williams
- (J.G. Williams.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1991 | Tyskland, Berlin, New York | viii, 133 sidor. ill. | |
| Springer Berlin Heidelberg | 1991 | Utgivningsland okänt / Ej specificerat |