scientific article; zbMATH DE number 3693242

MaRDI QIDQ3887434zbMATH OpenFDO

Authors Ivan Kramosil

Publication date 1980

Full work available at URL https://eudml.org/doc/28274

zbMATH Keywords

deducibility testinglengths of formalized proofsstatistical testing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) Statistical decision theory (62C99)

Cites work

• A logical theory of robot problem solving
• scientific article; zbMATH DE number 3696535 (Why is no real title available?)
• scientific article; zbMATH DE number 3571523 (Why is no real title available?)
• On Fuzzy Logic I Many‐valued rules of inference

Cited in

(1)

• scientific article; zbMATH DE number 3696535 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3887434)