1 064 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 11726
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Gabriele Kern-Isberner, Zoran Ognjanović
Häftad
535 kr
- -30%
- 10% rabatt på allt
Del 2
- -22%
Del 1
- 10% rabatt på allt
- 4 för 3
Del 1
- 4 för 3
Del 1