Proceeding on automated deduction - Siekmann Jorg H Ed.; International conference on automated deduction (6 : 1986 : Oxford) (Berlin Springer-Verlag, 1986)
Keywords: Computer science