R-Calculus, III: Post Three-Valued Logic (Bog, Paperback / softback, Engelsk) af Wei Li
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk modellering
  5. Matematikkens fundament
  6. Matematisk datateori
  7. Kunstig intelligens
  8. R-Calculus, III: Post Three-Valued Logic

R-Calculus, III: Post Three-Valued Logic

(Bog, Paperback / softback, Engelsk)
Forfattere: Wei Li, Yuefei Sui
R-Calculus, III: Post Three-Valued Logic
Forlag: Springer Verlag, Singapore

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

Kunstig intelligens Matematikkens fundament Matematisk datateori Matematisk modellering
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Verlag, Singapore
Forfattere Wei Li, Yuefei Sui
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2022 ed.
Udgivelsesdato 21-11-2023
Første udgivelsesår 2023
Serie Perspectives in Formal Induction, Revision and Evolution
Illustrationer 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus. in color.
Originalsprog Singapore
Sideantal 273
Indbinding Paperback / softback
Forlag Springer Verlag, Singapore
Sideoplysninger 273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9789811942723