Full Description
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.
-
- DVD
- 怒りの荒野 HDマスター版
-
- DVD
- 腐蝕の構造 VOL.2



