Proceedings
- Författare
- Robert E. Shostak International Conference on Automated Deduction 1984) Napa :
- (7th International conference on automated deduction, Napa, California, USA, May 14-16, 1984 edited by R.E. Shostak.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1984 | Tyskland, Berlin, New York | 508 sidor. |