PrSAT

swMATH38096MaRDI QIDQ53796FDOQ53796

Author name not available (Why is that?)

Official website: http://fitelson.org/PrSAT/

Described by source

• A decision procedure for probability calculus with applications

Cited In (3)

• Is there a place in Bayesian confirmation theory for the reverse Matthew effect?
• Contrastive confirmation: some competing accounts
• Probabilistic measures of coherence: from adequacy constraints towards pluralism

This page was built for software: PrSAT