De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Reductive Logic and Proof-search

Reductive Logic and Proof-search

- Proof Theory, Semantics, and Control

af David J. ( Pym

indgår i Oxford Logic Guides serien

Reductive Logic and Proof-search af David J. ( Pym
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.
  • 6. december 2024
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.

Bag om David J. ( Pym

Vis alle bøger af David J. ( Pym

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



Andre købte også..
Find lignende bøger
Bogen Reductive Logic and Proof-search findes i følgende kategorier: