Probabilistic Extensions of Various Logical Systems -  - 图书 - Springer Nature Switzerland AG - 9783030529567 - 2021年7月18日
如封面与标题不符,以标题为准

Probabilistic Extensions of Various Logical Systems 2020 edition

价格
元 711
不含税

远程仓调货

预计送达时间 年7月17日 - 年7月29日
添加至iMusic心愿单

Not rated yet

其他版本:

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

Mere med samme udgiver