scientific article

zbMath0444.03008MaRDI QIDQ3887435

J.Šindelář

Publication date: 1980

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

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

zbMATH Keywords

provability testingstatistical theory of logical derivability

Mathematics Subject Classification ID

Statistical decision theory (62C99) Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: