P. Hajek; T. Havranek

Mechanizing Hypothesis Formation - 1978 - Springer Berlin Heidelberg 1978 - Universitext .

9783642669439


Mathematics and Statistics