*Result*: International Conference on Automated Deduction
*Title*:
International Conference on Automated Deduction / 8. Internat. Conf. on Automated Deduction, Oxford, England, July 27 - Aug. 1, 1986, Proceedings. Ed. by Jörg H. Siekmann
*Author/editor-in-chief*:
*Publication*:
Berlin : Springer, 1986
*Physical description scale*:
IX, 708 S.
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science ; 230
*RVK-Notation*:
*ISBN*:
3540167803