LOGIC TO REASON ABOUT LIKELIHOOD.

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1983, Pages 310-319

  Halpern, Joseph Y ^a   Rabin, Michael O ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATIONS; DECISION PROCEDURES; FINITE MODELS; LIKELIHOOD; PROTOCOLS;

COMPUTER METATHEORY;

EID: 0020943678     PISSN: 07349025     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)