Decidability and expressiveness for first-order logics of probability
| Author(s) : | Joseph Y. Halpern, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | This work may not be copied or reproduced in whole or in part for any commercial, |
©2007 Dammam Community College