分享给好友:
Probabilistic Extensions of Various Logical Systems 2020 edition
价格
元 711
不含税
远程仓调货
预计送达时间 年7月17日 - 年7月29日
添加至iMusic心愿单
其他版本:
Probabilistic Extensions of Various Logical Systems
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability.
238 pages, 3 Illustrations, black and white; XIII, 238 p. 3 illus.
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2021年7月18日 |
| ISBN13 | 9783030529567 |
| 出版商 | Springer Nature Switzerland AG |
| 页数 | 238 |
| 商品尺寸 | 150 × 220 × 10 mm · 358 g |
| 语言 | 德语 |
| 编辑 | Ognjanovic, Zoran |