Proceedings
- Författare
- Jörg H. Siekmann International Conference on Automated Deduction 1986) Oxford :
- (8th International Conference on Automated Deduction, Oxford, England, July 27- August 1, 1986 edited by Jörg H. Siekmann.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1986 | Tyskland, Berlin, New York | 708 sidor. |