Proceedings of the 10.international conference on automated deduction, Keiserslautern, Jul.24-27, 1990 / International conference on automated deduction (10. ; 1990 ; Keiserslautern) , 1990. - XVI,688 p. p. - Текст : непосредственный.