Publication:3887434
From MaRDI portal
zbMath0444.03007MaRDI QIDQ3887434
Publication date: 1980
Full work available at URL: https://eudml.org/doc/28274
62C99: Statistical decision theory
03B35: Mechanization of proofs and logical operations
03F20: Complexity of proofs
Related Items
Cites Work