R-CALCULUS: A Logic of Belief Revision (Bog, Hardback, Engelsk) af Wei Li
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk modellering
  6. Matematikkens fundament
  7. Matematik for ingeniører
  8. Matematisk datateori
  9. R-CALCULUS: A Logic of Belief Revision

R-CALCULUS: A Logic of Belief Revision

(Bog, Hardback, Engelsk)
Forfattere: Wei Li, Yuefei Sui
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

Beskrivelse

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).

Læsernes anmeldelser (0)

Alle detaljer

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