๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Automating the synthesis of decision procedures in a constructive metatheory

โœ Scribed by Alessandro Armando; Jason Gallagher; Alan Smaill; Alan Bundy

Book ID
110379879
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
182 KB
Volume
22
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Finite Stage Decision Procedure in the
A Finite Stage Decision Procedure in the Analysis of Variance
โœ Dr. F. Pfuff ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 430 KB ๐Ÿ‘ 2 views

In this paper we have developed a finite stage Bayes test in the analysis of variance. Determining such a decision rule the losses of erroneously accepting the hypotheses as well as the observation costs and the a priori probabilities were considered. We have given a method of constructing the conti