Proceeding on computation and proof theory - Richter M M Ed.; Colloquium on conputation and proof theory (1983 : Aachen) (Berlin Springer Verlag, 1984)
Keywords: Statistics