Probabilistic Extensions of Various Logical Systems (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Stokastik
  6. Matematikkens fundament
  7. Sandsynlighedsregning og statistik
  8. Matematisk datateori
  9. Probabilistic Extensions of Various Logical Systems

Probabilistic Extensions of Various Logical Systems

(Bog, Hardback, Engelsk)
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematikkens fundament Matematisk datateori Matematisk logik Sandsynlighedsregning og statistik Stokastik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 18-07-2020
Første udgivelsesår 2020
Illustrationer 3 Illustrations, black and white; XIII, 238 p. 3 illus.
Fagredaktør Zoran Ognjanovic
Originalsprog Switzerland
Sideantal 238
Indbinding Hardback
Forlag Springer Nature Switzerland AG
Sideoplysninger 238 pages, 3 Illustrations, black and white; XIII, 238 p. 3 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783030529536