Media type: E-Book; Conference Proceedings Title: Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings Contributor: Kapur, Deepak [Author] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1992 Published in: Lecture notes in computer science ; 607 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-55602-8 ISBN: 9783540472520 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Automatisches Beweisverfahren Origination: Footnote: