Proceeding on automated deduction - Shostak R E Ed.; International conference on automated deduction (7 : 1984 : California) (Berlin Springer Verlag, 1984)
Keywords: Statistics