De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Reductive Logic and Proof-search

- Proof Theory, Semantics, and Control

Bag om Reductive Logic and Proof-search

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198526339
  • Indbinding:
  • Hardback
  • Sideantal:
  • 232
  • Udgivet:
  • 29. april 2004
  • Størrelse:
  • 162x242x18 mm.
  • Vægt:
  • 480 g.
  • 2-3 uger.
  • 22. januar 2025
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Reductive Logic and Proof-search

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

Brugerbedømmelser af Reductive Logic and Proof-search



Find lignende bøger
Bogen Reductive Logic and Proof-search findes i følgende kategorier: