Probabilistic Extensions of Various Logical Systems
Häftad, Engelska, 2021
1 389 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2021-07-18
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- Antal sidor238
- FörlagSpringer Nature Switzerland AG
- ISBN9783030529567
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Bokrea
- Bokrea
Del 2
- Bokrea
Del 3
- Bokrea
Del 1
- Bokrea
- Bokrea
Del 1