scientific article

zbMath0444.03007MaRDI QIDQ3887434

Ivan Kramosil

Publication date: 1980

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

statistical testingdeducibility testinglengths of formalized proofs

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A logical theory of robot problem solving
• On Fuzzy Logic I Many‐valued rules of inference

This page was built for publication: