未找到相关数据
DECIDABILITY AND EXPRESSIVENESS FOR 1ST-ORDER LOGICS OF PROBABILITY
被引：2
作者：
ABADI, M
HALPERN, JY
机构：
来源：
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
|
1989年
关键词：
D O I：
10.1109/SFCS.1989.63470
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：148 / 153
页数：6
相关论文