Probabilistic Extensions of Various Logical Systems -  - Bøker - Springer Nature Switzerland AG - 9783030529567 - 18. juli 2021
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Probabilistic Extensions of Various Logical Systems 2020 edition


Få en e-post når varen er tilgjengelig
Har du en profil? Logg inn
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 18. juli 2021
ISBN13 9783030529567
Utgivere Springer Nature Switzerland AG
Antall sider 238
Mål 150 × 220 × 10 mm   ·   358 g
Språk Tysk  
Redaktør Ognjanovic, Zoran

Mer fra samme **utgiver**