Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986

• Other Authors: Siekmann, J. (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1986
• Series: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 230
• Subjects: COMPUTER SCIENCE; PROCEEDINGS; ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ; LNCS
• Physical Description: ix, 708p. fig.
• ISBN: 3540167803