Media type: Journal; Conference Proceedings Title: Proceedings / International Conference on Automated Deduction Contributor: International Conference on Automated Deduction Published: Berlin; Heidelberg [u.a.]: Springer, 1984-1988 Publication information: 7.1984 - 9.1988 Language: Not determined RVK notation: SS 4800 : Lecture notes in computer science Keywords: Automatisches Beweisverfahren Origination: Footnote: Forts. als Monographie behandelt