Probabilistic Extensions of Various Logical Systems -  - 書籍 - Springer Nature Switzerland AG - 9783030529536 - 2020年7月18日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Probabilistic Extensions of Various Logical Systems 2020 edition


商品が入荷したらメールで通知を受け取る
プロフィールはありますか? ログイン
iMusicのウィッシュリストに追加

まだ評価がありません

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.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2020年7月18日
ISBN13 9783030529536
出版社 Springer Nature Switzerland AG
ページ数 238
寸法 150 × 220 × 20 mm   ·   530 g
言語 ドイツ語  
編集者 Ognjanovic, Zoran

同じ出版社からのその他の記事