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

• Άλλοι συγγραφείς: Siekmann, J. (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1986
• Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 230
• Θέματα: COMPUTER SCIENCE; PROCEEDINGS; ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ; LNCS
• Φυσική περιγραφή: ix, 708p. fig.
• ISBN: 3540167803