Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: 6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Автор: Loveland D.
This work is subject to copyright. All rights are reserved, whether the whole or part
of the material is concerned, specifically those of translation, reprinting, re-use of
illustrations, broadcasting, reproduction by photocopying machine or similar means,
and storage in data banks. Under w 54 of the German Copyright Law where copies
are made for other than private use, a fee is payable to "Verwertungsgesellschaft