On the Asymptotic Behavior of Decision Procedures
From MaRDI portal
Publication:3227165
DOI10.1214/AOMS/1177728417zbMATH Open0066.38101OpenAlexW2040205512MaRDI QIDQ3227165
Publication date: 1955
Published in: Annals of Mathematical Statistics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1214/aoms/1177728417
Related Items (1)
This page was built for publication: On the Asymptotic Behavior of Decision Procedures
